同型定理
これを普遍代数学に一般化するために、正規部分群は合同で置き換えられる必要がある。
代数系 A 上の合同 (congruence) は成分ごとの演算構造を与えられた A × A の部分代数系である同値関係 Φ である。演算を表現を経由して定義することによって同値類の集合 A/Φ を同じタイプの代数系にできる。Φ は A × A の部分代数系だからこれは well-defined である。