theorem Th24: :: MSSUBLAT:24

for MS being non void 1 -element segmental ManySortedSign
for A, B being non-empty MSAlgebra over MS st 1-Alg A = 1-Alg B holds
MSAlgebra(# the Sorts of A, the Charact of A #) = MSAlgebra(# the Sorts of B, the Charact of B #)