The symmetry between four
congruences which have figured in the literature on inverse semigroups is discussed in
terms of kernels and restrictions to idempotents (kernel meaning the set of elements
equivalent to idempotents). A characterization of arbitrary inverse semigroup
congruences is developed from this symmetry.