Egy valamilyen H halmazon értelmezett kétváltozós művelet egy olyan függvény, amely H-beli elemekből alkotott párokhoz szintén a H halmaz elemeit rendeli hozzá.