Banakortasun

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

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

${\displaystyle a\circ (b*c)=(a\circ b)*(a\circ c)}$

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

${\displaystyle (b*c)\circ a=(b\circ a)*(c\circ a)}$

• ${\displaystyle \circ }$ banakorra da ${\displaystyle \star }$ eragiketari buruz, ezkerretik zein eskubitik banakorra bada.

1. ↑ Mendelson, Elliott. (2015). Introduction to mathematical logic. (6th ed. argitaraldia) CRC press ISBN 978-1-4822-3772-6. (Noiz kontsultatua: 2023-12-26).