A method for the construction of complete congruences on lattices of pseudovarieties Original Research Article

We present a method for the construction of complete congruences on lattices of pseudovarieties, thereby generalizing and unifying the concept of radical congruence system and other constructions invented by Petrich and Reilly. For similarly defined classes such as varieties, generalized varieties, quasivarieties, existence varieties, etc., similar methods can be obtained.