Sifat pembatalan itu apa sih?

Dalam matematika, pengertian dari pembatal adalah perampatan dari gagasan terbalikkan.

Unsur  dalam magma  memiliki sifat pembatalan ruas kiri  jika untuk semua  dan  pada ,  selalu menyiratkan bahwa .

Unsur  pada magma  memiliki sifat pembatalan ruas kanan jika untuk semua  dan  pada ,  selalu menyiratkan .

Unsur  dalam magma  memiliki sifat pembatalan kedua ruas jika keduanya adalah pembatalan ruas kiri dan ruas kanan.

Magma  memiliki sifat pembatalan kiri jika semua  di magma adalah sifat membatalkan ruas kiri, dan definisi serupa berlaku untuk sifat membatalkan ruas kanan atau sifat membatalkan kedua ruas.

Unsur terbalikkan ruas kiri adalah pembatalan kiri, dan ini sejalan untuk ruas kanan dan kedua ruas.

Contoh mengenai sifat pembatalan, ialah: setiap kuasigrup, dan dengan demikian setiap grup, bersifat membatalkan.