English Relation algebra Cited by user Ott2 on 28 Apr 2011 In mathematics and abstract algebra, a relation algebra is a residuated Boolean algebra expanded with an involution called converse, a unary operation.