theorem :: MSINST_1:6

for A being non empty set
for S being non empty non void ManySortedSign
for C being category st C = MSAlgCat (S,A) holds
for o being Object of C holds o is strict feasible MSAlgebra over S