Jabarkan Namun: dari Operasi biner

Jika operasi asosiatif, (ab)c = a(bc), maka nilai dari (ab)c tergantung hanya pada pasangan terurut (a, b, c).

Jika operasi komutatif, ab = ba, maka nilai dari (ab)c tergantung hanya pada { {a, b}, c}, di mana tanda kurung menunjukkan multiset.

Jika operasi asosiatif dan komutatif, maka nilai dari (ab)c tergantung hanya pada multiset {a, b, c}.

Jika operasi asosiatif, komutatif dan idempotent, yaitu aa = a, maka nilai dari (ab)c tergantung hanya pada himpunan {a, b, c}.

Operasi biner sebagai relasi terner

Sebuah operasi biner f pada himpunan S dapat dilihat sebagai relasi terner di S, yaitu himpunan dari tiga pasangan (a, b, f(a,b)) di S × S × S untuk semua a dan b di S.