Natural extension of a congruence of a lattice to its lattice of convex sublattices.

From MaRDI portal
Publication:2897385