B-algebra


THEOREM   

\(\circ\) is left-cancellable.

Proof available

THEOREM   

\(\circ\) is right-cancellable.

Proof available

See also