Jabarkan 1 dari Bialjabar

Koperkalian Δ and satuan η

Satuan η and kosatuan ε

Peta linear-K dari Δ: B → B ⊗ B adalah koasosiatif jika .

Peta linear-K dari ε: B → K adalah satuan jika .

Koasosiatifitas dan kosatuan dinyatakan dengan komutatifitas dari dua diagram berikut (kedua diagram tersebut merupakan kelipatan dari diagram yang menyatakan asosiasi dan unit aljabar):