Assertion: algebra's set | /r/CapableOf | order pair
Facets:
value: with the second element
type: OTHER
Source sentences:
text: the direct product of ... and ... set theory X × Y means the set of all ordered pairs with the first element of each pair selected from X and the second element selected from Y. {1,2} × {3,4} = {(1,3),(1,4),(2,3),(2,4)}