Tanım. $R$ bir küme,
T1. Her $x,y,z\in R$,
$x+(y+z)=(x+y)+z$.
T2. Her $x\in R$, $x+0=0+x=x$.
T3. Her $x\in R$, $x+y=y+x=0$, eşitliğini sağlayan bir $y \in R$ vardır.
T4. Her $x,y\in R$ için, $x+y=y+x$.
T1, T2, T3 özelliklerini sağlayan bir $(R, +, 0)$ yapısına grup denir. Eğer ayrıca T4 sağlanıyorsa, yapıya değişlmeli ya da abelyen grup denir.
Önsav. Eğer bir grubun $x, z$ ve $t$ elemanları $x + a = x + b$ elemanları eşitliği sağlıyorsa a = b olur.
Benim sorum: Önsavdaki $z,t$ ne ki? Baskı hatası olabilir mi?