Assertion: logical matrix | /r/HasProperty | indices index
Facets:
Source sentences:
text: If R is a binary relation between the finite indexed sets X and Y (so R ⊆ X×Y), then R can be represented by the logical matrix M whose row and column indices index the elements of X and Y, respectively, such that the entries of M are defined by: