 It says that for a congruence, being finitely generated is a lattice-theoretical property.Lemma.A congruence of an algebra "A" is finitely generated if and only if it is a compact element of Con "A".