Principal Congruence

- Mathematics & Logic -
Pure Mathematics Dictionary
The smallest congruence relation on an algebra that contains a specified pair or set of elements; equivalently the congruence generated by those elements under reflexivity, symmetry, transitivity and compatibility with the algebraic operations.