====== Bináris művelet ======

Az //A// halamzon értelmezett **bináris művelet**-nek nevezzük az <m>A*A right A</m> [[matematika:analízis:függvények]]et.

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

===== Bináris műveletek tulajdonságai =====

==== Kommutativitás ====
[[matematika:algebra:kommutativ]]
==== Asszociativitás ====
[[matematika:algebra:asszociativ]]
==== Disztibutivitás ====
[[matematika:algebra:disztributiv]]

==== Idempotencia ====
[[matematika:algebra:idempotens]]