Maltsev Condition
Definition
A property of a variety specified by the existence of one or more term operations satisfying particular identities; such conditions often imply structural features of congruences and influence permutability, modularity, or other lattice-theoretic behaviors.