for A, B being AltCatStr st A,B have_the_same_composition holds
Intersect (A,B) is SubCatStr of A