Kétváltozós művelet

Egy valamilyen $S$ halmazon értelmezett kétváltozós művelet egy olyan függvény, amely $S$-beli elemekből alkotott párokhoz $S$-beli elemeket rendel hozzá.

Ha például $a$ és $b$ a $S$ halmaz két tetszőleges – egymástól nem feltétlenül különböző – eleme, valamint műveleti jelnek a $*$ szimbólumot választjuk, akkor a művelet eredményét így jelöljük: $a*b$. Ennek szintén egy $S$-beli elemnek kell lennie.

♣