Suppose I have a set $S$ of pairs (or, in general, tuples, or objects with two or more parts/attributes/projections). This set may have the property that
$$(a, b) \in S \wedge (a', b') \in S \implies (a, b') \in S$$
which can also be described as
- $S$ is the Cartesian product of some sets.
- $S$ is closed under $f$ where $f((a, b), (a', b')) = (a, b')$.
Is there a more direct, and well-known or obvious, name for this property, or perhaps for $f$? Preferably one readily understood by those with a background in computer science.
The application is generally that $S$ is some collection of usable objects which have at least two independent attributes, and I want to talk about whether, for the values those attributes actually take on, every combination of those attributes is available, or whether $S$ is instead incomplete (not closed, not orthogonal).
More concretely, where this question arose is that I'm writing a collection of functions (in the programming-language sense) which all do “the same thing” but with different details of the input and output types, and I wanted to talk about the concept of whether or not the set of functions actually written has any obvious gaps, where my notion of “obvious” is “can be constructed by $f$” — note that $f$ is a meta-operation here, and not something the program actually deals in. So $f$ is really not associated with $S$ inherently; it's a tool for understanding, which I don't actually want to have to define in order to communicate that understanding.
“is a Cartesian product” seems fairly good, but it doesn't convey the notion that it's a product of possibly arbitrary sets, as opposed to meaningful ones. That is, suppose I have $S = \{\mathrm a, \mathrm b\} \times \{1, 2, 5\}$ which is a subset of $\mathbb \{\mathrm a, \mathrm b\} \times \mathbb Z^+$ — one could easily want $(\mathrm b, 3)$ which is not a member, so I would prefer to talk specifically about $S$ being closed under $f$, without implying that it is complete in the sense of containing everything one might want, but I don't know a good name for $f$.