Sebenernya saya sudah pernah membuat tulisan mengenai operasi biner tapi  kali ini saya ingi membahas operasi biner secara lebih mendalam. Kalau  saya analogikan operasi biner adalah sebuah “mesin” yang memepunyai dua  buah input dari elemen2 di suatu himpunan tak kosong S dengan output  satu elemen di S juga. Jika “mesin” tersebut hanya mempunyai satu input  dan satu ouput maka dikatakan operasi unary
Diberikan S adalah suatu himpunan tak kosong, himpunan S×S adalah himpunan yang memuat semua pasangan (a,b) dengan 
. Suatu operasi biner 
 pada S sebenarnya merupakan fungsi dari S×S ke S. Dinotasikan image (daerah hasil) pasangan (a,b) dengan 
. Dengan kata lain operasi biner 
 memetakan dua buah elemen a dan b di S ke suatu elemen 
 di S pula.Opersi biner sering dikatakan tertutup untuk menegaskan bahwa 
 termuat di S, bukan di himpunan di luar S. Banyak simbol yang digunakan untuk operasi biner, yang umum digunakan adalah 
 dan 
.
Diberikan 
 himpunan bulat positif. Penjumlahan dan perkalian merupakan operasi biner di 
 karena untuk sebarang 
 berlaku 
 dan 
. Tetapi pengurangan bukan operasi biner di 
 karena 
. Contoh operasi biner yang lain di 
 adalah perpangkatan dan FPB.
Penjumlahan, perkalian, pengurangan kesemuanya merupakan operasi biner di himpunan bilangan real 
  karena a+b, a×b, x-y merupakan bilangan real untuk setiap pasang a dan b  bilangan real. Pembagian bukan merupakan operasi biner di 
 karena pembagian dengan nol tidak terdefinisi. Tetapi pembagian merupakan operasi biner di 
 himpunan bilangan real tak nol.
Operasi Biner pada himpunan berhingga umunya disajikan melalui tabel. Sebagai contoh diberikan himpunan 
 yang memuat 3 elemen. Operasi biner 
 pada T didefiniskan berdasarkan tabel 1.1 berikut
Tabel tersebut dibaca baris dioperasikan kolom, contoh 
, 
. Nah sekarang pertanyannya bagaimana mendefinisikan tabel di atas? Itu sich terserah yang buat tabel 
 
Suatu operasi biner 
 pada himpunan S dikatakan
- asositif jika berlaku 
untuk semua
 
- Komutatif jika berlaku 
untuk semua
 
Suatu elemen 
 dikatakan identitas jika berlaku 
 untuk semua 
.
Diberikan operasi biner 
 pada himpunan S yang mempunyai identitas 
, elemen 
 dikatakan invers dari 
 jika berlaku 
 dengan 
. Pada umunya invers 
 dinotasikan
Diberikan2 operasi biner 
 dan 
 pada himpunan S. Operasi 
 dikatakan distributif atas 
 jika berlaku 
 dan 
 untuk semua 
Penjumlahan dan perkalian keduanya merupakan operasi asosiatif dan komutatif pada himpunan bilangan real 
.  Identitas penjumlahan adalah 0 dan identitas perkalian adalah 1. Setiap  bilangan real mempunyai invers atas penjumlahan sedangkan setiap  bilangan real tak nol mempunyai invers atas perkalian. Selain itu  perkalian bersifat distributif atas penjumlahan karena berlaku 
 dan 
. Tetapi penjumlahan tidaklah bersifat distributif atas perkalian karena 
 tidak berlaku secara umum.
