Assertion: set | /r/HasProperty | ordered pair
Facets:
Source sentences:
text: And the Cartesian product \(A\times B\) is defined as the set of all ordered pairs \((C,D)\) such that \(C\in A\) and \(D\in B\).