Jabarkan ; dari Bialjabar

diagram 3 dan 4 mengatakan bahwa η: K → B adalah homomorfisme dari (kounital koasosiatif) koaljabar (K, Δ0, ε0) dan (B, Δ, ε):