 However innocuous it sounds, the compact unit assumption is essential in the statement of the result above, as demonstrated by the following result.Theorem (Lampe 1982).Every algebraic lattice with compact unit is isomorphic to the congruence lattice of some groupoid.