svojstvo funkcije $F:A\times B\to C$, pri čemu su $A,B,C$ Abelove grupe, da za sve $a_1,a_2,a\in A$ i sve $b_1,b_2,b\in B$ vrijedi $F(a_1+a_2,b) = F(a_1,b)+F(a_2,b)$ i $F(a,b_1+b_2) = F(a,b_1)+F(a,b_2)$
svojstvo funkcije $F:A\times B\to C$, pri čemu su $A,B,C$ Abelove grupe, da za sve $a_1,a_2,a\in A$ i sve $b_1,b_2,b\in B$ vrijedi $F(a_1+a_2,b) = F(a_1,b)+F(a_2,b)$ i $F(a,b_1+b_2) = F(a,b_1)+F(a,b_2)$
Rod: ženski
Vrsta riječi: imenica
Drugim riječima, funkcija $F$ iz gornje definicije jest biaditivna ako je aditivna u obama argumentima. Funkcija $F$ dvaju argumenata je aditivna u prvome argumentu ako je za svaki $b$ funkcija jednoga argumenta $F(-,b): a\mapsto F(a,b)$ aditivna.