簡約律
マグマ (M, ∗) の元 a が左簡約可能であると言うことは、関数 g : x ↦ a ∗ x が単射したがって集合のモノ射であると言うことであるが、それは集合の自己準同型であるからそれは集合の断面(英語版)である、すなわちすべての x に対して f(g(x)) = f(a ∗ x) = x であるような集合のエピ射 f が存在し、したがってf はレトラクション(英語版)である。さらに、g の値域(英語版)では逆をとり残りをちょうど a に送って f を「構成」することができる。