Assertion: relation algebra | /r/DefinedAs | residuated boolean algebra
Facets:
Source sentences:
text: The advantage of this signature over the usual one is that a relation algebra can then be defined in full simply as a residuated Boolean algebra for which I◁x is an involution, that is, I◁(I◁x) =