Relation_algebra In mathematics and abstract algebra, a relation algebra is a residuated Boolean algebra equipped with an involution called "converse". The motivating example of a relation algebra is the algebra 2X² of all binary relations on a set X, with R•S interpreted as the usual composition of binary relations and the converse of R as the inverse relation.