Assertion: relation algebra | /r/CapableOf | expand with involution
Facets:
Source sentences:
text: In mathematics and abstract algebra, a relation algebra is a residuated Boolean algebra expanded with an involution called converse, a unary operation.