for A being non empty AltCatStr
for B being non empty SubCatStr of A holds
( B is full iff incl B is full )