Assertion: relation algebra | /r/HasProperty | to a system of binary relations
Facets:
value: roughly
type: DEGREE
value: on a set
type: LOCATION
Source sentences:
text: Roughly, a relation algebra is to a system of binary relations on a set containing the empty (0), complete (1), and identity (I) relations and closed under these five operations as a group is to a system of permutations of a set containing the identity permutation and closed under composition and inverse.