Terminologi Operasi Biner

 Lebih jelasnya, sebuah operasi biner pada himpunan S adalah pemetaan yang

memetakan unsur-unsur dari hasil kali Cartesian S × S untuk S:

 Karena hasil dari operasi pada sepasang elemen dari S adalah unsur S, operasi ini
disebut operasi biner tertutup pada S (atau kadang-kadang dikatakan memiliki sifat
ketertutupan).

 Jika f bukan fungsi, tetapi merupakan fungsi parsial, hal ini disebut operasi biner

parsial. Misalnya, pembagian bilangan real adalah operasi biner parsial karena tidak
bisa membagi dengan nol: a/0 tidak didefinisikan untuk setiap bilangan real a.
Namun perlu dicatat bahwa di aljabar dan teori model kedua operasi biner tersebut
dianggap didefinisikan pada semua S × S.

 Kadang-kadang, terutama dalam sains komputer, istilah ini digunakan untuk setiap

fungsi biner.

 Operasi biner adalah dasar dari struktur aljabar yang dipelajari dalam aljabar
abstrak: mereka sangat penting dalam definisi grup, monoid, semigrup, gelanggang,
dan banyak lagi. Paling umumnya, magma adalah satu set bersama dengan operasi
biner yang didefinisikan di dalamnya.

Yang harus diketahui pada Operasi Biner

 Yang sering ditulis dengan menggunakan notasi infix seperti a ∗ b, a + b, a · b atau

(oleh penjajaran dengan tidak ada simbol) ab dibanding dengan notasi fungsional
dengan bentuk f(a, b). Pangkat biasanya juga ditulis tanpa operator, tapi dengan
argumen kedua sebagai superscript.

 Kadang-kadang menggunakan prefix atau (mungkin lebih sering) notasi postfix, yang
keduanya dipisahkan dengan tanda kurung. notasi itu juga disebut, masing-masing,
notasi polandia dan reverse Polish notation.

Pasangan dan Pasangan Terurut

Sebuah operasi biner, ab, tergantung pada pasangan terurut (a, b) sehingga (ab)c (di mana
kurung di sini berarti operasi pertama dilakukan pada pasangan (a, b) dan kemudian operasi
selanjutnya pada hasil sebelumnya menggunakan pasangan ((ab), c)) tergantung secara
umum pada pasangan ((a, b), c). Dengan demikian, secara umum, kasus non-asosiatif,
operasi biner dapat direpresentasikan dengan pohon biner.

Namun:
  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.

Operasi Biner Eksternal

 Sebuah operasi biner eksternal adalah fungsi biner dari K × S ke S. Ini berbeda

dari operasi biner dalam arti K tidak perlu menjadi S; unsur-unsurnya datang
dari luar.

 Contoh operasi biner eksternal adalah perkalian skalar dalam aljabar linear. Di

sini K adalah suatu lapangan dan S adalah ruang vektor atas lapangan itu.

 Sebuah operasi biner eksternal  dapat juga dipandang sebagai suatu aksi; K beraksi
pada S.

 Perhatikan bahwa hasil kali titik dari dua vektor bukan operasi biner, eksternal atau
sebaliknya, karena operasi tersebut memetakan S× S ke K, di mana K adalah sebuah
lapangan dan S adalah ruang vektor atas K.

Sifat dan Contoh Operasi Biner

Contoh yang khas dari operasi biner adalah penjumlahan (+) dan perkalian (×)
dari bilangan dan matrik serta komposisi fungsi pada satu set. Misalnya,

 Pada himpunan bilangan real R, f(a, b) = a + b adalah operasi biner karena jumlah

dari dua bilangan real adalah bilangan real.
 o Pada himpunan bilangan asli N, f(a, b) = a + b adalah operasi biner karena
jumlah dari dua bilangan asli adalah bilangan asli. Ini adalah operasi biner
yang berbeda dari yang sebelumnya karena himpunan yang berbeda.

o Pada himpunan M(2,2), matriks 2 × 2 dengan entri-entri bilangan real, f(A, B)

= A + B adalah operasi biner karena jumlah dari dua matriks tersebut adalah
matriks  2 × 2 .

o Pada himpunan M(2,2), matriks 2 × 2 dengan entri-entri bilangan real, f(A, B)

= AB adalah operasi biner karena produk dari kedua matriks tersebut adalah
matriks 2 × 2 .

o Untuk himpunan C, misalkan S adalah himpunan semua fungsi h : C → C.

Definisikan f : S × S → S dengan f(h1, h2)(c) = h1 ∘ h2 (c) = h1(h2(c)) untuk
semua c ∈ C, komposisi dari dua fungsi h1 dan h2 di S. Maka fadalah operasi
biner karena komposisi dari dua fungsi adalah fungsi lain pada set C (artinya,
anggota dari S).

 Banyak operasi biner baik di aljabar ataupun logika formal bersifat komutatif, yaitu
memenuhi f(a, b) = f(b, a) untuk semua elemen-elemen a dan b di S, atau asosiatif,
yaitu memenuhi f(f(a, b), c) = f(a, f(b, c)) untuk semua a, b dan c di S. Banyak juga
yang memiliki elemen identitas dan elemen invers.

 Tiga contoh pertama di atas adalah komutatif dan semua contoh di atas adalah
asosiatif.

 Pada himpunan bilangan real R, pengurangan, yaitu, f(a, b) = a − b, adalah operasi

biner yang tidak komutatif karena, secara umum, a − b ≠ b − a. operasi tersebut
juga tidak asosiatif, karena, secara umum, a − (b − c) ≠ (a − b) − c; misalnya, 1 − (2
− 3) = 2 tapi (1 − 2) − 3 = −4.

 Pada himpunan bilangan asli N, operasi biner eksponensial, f(a,b) = ab, tidak

komutatif karena, secara umum, ab ≠ ba dan juga tidak asosiatif karena f(f(a, b), c)
≠ f(a, f(b, c)). Misalnya, dengan memilih a = 2, b = 3 dan c= 2, f(23,2) = f(8,2) = 64,
tetapi f(2,32) = f(2,9) = 512. Dengan mengganti himpunan N menjadi himpunan
bilangan bulat Z, operasi biner ini menjadi operasi biner  parsial karena sekarang
operasi tersebut tidak terdefinisi apabila a = 0 dan b adalah sembarang bilangan
bulat negatif. Pada himpunan N dan Z, operasi ini memiliki identitas kanan (yaitu 1)
karena f(a, 1) = a untuk semua a dalam dalam himpunan tersebut, tapi 1 bukan
merupakan identitas (identitas kiri dan kanan) karena f(1, b) ≠ b pada umumnya.

 Pembagian (/), sebuah operasi biner parsial pada himpunan bilangan real atau
bilangan rasional, tidak komutatif atau asosiatif. Tetration (↑↑), sebagai operasi
biner pada bilangan asli tidak komutatif atau asosiatif dan tidak memiliki elemen
identitas.