Page 37 - Chapt1
P. 37
Struktur Matematika
Teorema 2 : Jika □ adalah operasi
asosiatif dan x memiiki a □-inversi ,
maka y unik.
Bukti :
Asumsikan ada kebalikan □ lain untuk x, katakan z,
lalu (z □ x) □ y = e □ y = y, and z □ (x □ y) =z □ e =z
karena □ asosiatif, (z □ x) □ y = z □ (x □ y) jadi y =
z, yang artinya y unik.
