Relation identities equivalent to congruence modularity

Abstract

We present some identities dealing with reflexive and admissible relations and which, through a variety, are equivalent to congruence modularity.

Cited by in corpus (1)

• On the number of terms witnessing congruence modularity