Trong toán học, khái niệm giản ước là một sự khái quát của khái niệm khả nghịch.Một phần tử a trong magma (M, ∗) có tính giản ước trái nếu với mọi b và c thuộc M, a ∗ b = a ∗ c suy ra b = c.Một phần tử a trong magma (M, ∗) có tính giản ước phải nếu với mọi b và c thuộc M, b ∗ a = c ∗ a suy ra b = c.Một phần tử a trong magma (M, ∗) có tính giản ước hai phía (hay có tính giản ước) nếu nó có tính giản ước trái và tính giản ước phải.Một magma (M, ∗) có tính giản ước trái (giản ước phải, giản ước hai phía) nếu tất cả các phần tử trong magma có tính giản ước trái (giản ước phải, giản ước hai phía).Một phần tử khả nghịch trái (phải, hai phía) thì có tính giản ước trái (phải, hai phía).Ví dụ, một tựa nhóm, hay một nhóm, thì có tính giản ước (hai phía).