Congruence-permutable algebras are a class of algebras studied in universal algebra and related fields. An algebraic structure is generally described by a set along with a collection of operations and relations defined on that set. The concept of congruences in algebra refers to certain equivalence relations that respect the operations of the algebra.