合同関係
ƒ: A → B が2つの代数的構造の間の準同型(例えば群の準同型やベクトル空間の間の線型写像)であれば、
a1 ≡ a2 if and only if ƒ(a1) = ƒ(a2)
によって定義される関係 ≡ は合同関係である。第一同型定理によって、ƒ による A の像は A のこの合同による商に同型な B の部分構造である。