Stone_Relation_Algebras

Fixpoints

Semirings

Relation_Algebras

Relation_Subalgebras

Matrix_Relation_Algebras

Linear_Order_Matrices