Operasi biner

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".