for A being non empty set
for C being category st C = MSSCat A holds
for o being Object of C holds o is non empty non void ManySortedSign