Tekstiviesti: The congruences of a finite lattice :