Assertion: set | /r/HasProperty | x × y.
Facets:
Source sentences:
text: A binary relation R is defined as a subset of a product of sets X × Y.