Bináris művelet

Az A halamzon értelmezett bináris művelet-nek nevezzük az függvényeket.

Egy bináris művelet esetén a szokásos jelölés tetszőleges a,b∈A elemekre a függvényeknél megszokott (a,b)=c∈A helyett alak.

kommutativ

asszociativ

disztributiv

idempotens