Cancellativity characterization for monoids of finite non-degenerate braided sets
Cancellativity conjecture. The monoid S(X,r)S(X,r)S(X,r) is cancellative if and only if rrr is involutive.