簡約律
数学において、簡約律 (かんやくりつ、 英:cancellation property) の概念は可逆 () の概念の一般化である。消去律（しょうきょりつ）、消約律（しょうやくりつ）の訳が充てられることもある。
マグマ の元 "a" が左簡約性質 (left cancellation property) をもつ（あるいは左簡約可能 (left-cancellative)である）とは、"M" のすべての "b" と "c" に対して、 は常に を意味するということである。
マグマ の元 "a" が右簡約性質 (right cancellation property) をもつ（あるいは右簡約可能 (right-cancellative)である）とは、"M" のすべての "b" と "c" に対して、 が常に を意味するということである。
マグマ の元 "a" が両側簡約性質 (two-sided cancellation property) をもつ（あるいは簡約可能 (cancellative)である）とは、左右両方簡約可能であるということである。
マグマ が左簡約性質をもつ（あるいは左簡約可能である）とは、マグマのすべての元 "a" が左簡約可能であるということであり、同様の定義は右簡約あるいは両側簡約に対しても適用する。
左可逆元は左簡約可能であり、右と両側についても同様である。
例えば、すべての、したがってすべての群では簡約律が成り立つ。