 While congruences of lattices lose something in comparison to groups, modules, rings (they cannot be identified with subsets of the universe), they also have a property unique among all the other structures encountered yet.Theorem (Funayama and Nakayama 1942).The congruence lattice of any lattice is distributive.