Banakortasun

Matematikan, banakortasuna edo propietate banakorra A multzo baten gainean definitutuako bi eragiketa bitarri buruzko propietate matematiko bat da. Zehatzago, bi eragiketak $\circ$ eta $\star$ izanik:

• $\circ$ eragiketa ezkerretik banakorra da $\star$ eragiketari buruz, A multzoko a, b eta c edozein hiru elementutarako, ondokoa betetzen bada:

$a\circ (b*c)=(a\circ b)*(a\circ c)$

• $\circ$ eragiketa eskubitik banakorra da $\star$ eragiketari buruz, A multzoko a, b eta c edozein hiru elementutarako, ondokoa betetzen bada:

$(b*c)\circ a=(b\circ a)*(c\circ a)$

• $\circ$ banakorra da $\star$ eragiketari buruz, ezkerretik zein eksubitik banakorra bada.