Assertion: algebra's operation | /r/CapableOf | satisfy certain equations
Facets:
Source sentences:
text: A relation algebra (L, ∧, ∨, −, 0, 1, •, I, ˘) is an algebraic structure equipped with the Boolean operations of conjunction x∧y, disjunction x∨y, and negation x−, the Boolean constants 0 and 1, the relational operations of composition x•y and converse x˘, and the relational constant I, such that these operations and constants satisfy certain equations constituting an axiomatization of a calculus of relations.