Post #1368982

@jdw Both the subalgebra and congruence lattices of an algebra are algebraic lattices. The relevant order-theoretic notion here is that of a compact element, although this captures finite generation rather than generation by a single element.