Cartesian product of sets of sets If I have two sets A, B, which are sets of sets. Is there any abbreviated notation to write $$ \{ C \times D | C \in A \wedge D \in B\} $$ ?
You can use $S = \{C \times D\;|\;C \in A \land D \in B\}$ and use $S$ or define $S[A:B]$ to mean that.
You can use $S = \{C \times D\;|\;C \in A \land D \in B\}$ and use $S$ or define $S[A:B]$ to mean that.