I’m interested in (finite) binary relational structures (i.e. relational structures with only unary and binary relations) in which all binary relations are equivalence relations.
Is there a name for such relational structures? Do they have some characterisations?
Any reference would be much appreciated.