Page 35 - Chapt1

Struktur Matematika

Teorema 1 : Jika e adalah identifikasi

untuk operasi biner □, maka e unik

Bukti :

Asumsi I adalah objek lain dengan mengidentifikasi

property, maka kita memiliki □ e = e □ i = e; karena e

merupakan pengenal untuk □, maka kita memiliki I □

e = e □ I = I, oleh karena itu e = I, yang berarti paling

banyak terdapat satu benda dengan sifat pengenal

untuk □