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.

♣