Assertion: relation algebra | /r/MadeOf | binary relations
Facets:
value: on some set
type: LOCATION
Source sentences:
text: The representable relation algebras, forming the class RRA, are those relation algebras isomorphic to some relation algebra consisting of binary relations on some set, and closed under the intended interpretation of the RA operations.