reserve I for set;
reserve S for non empty non void ManySortedSign,
  U0, U1 for non-empty MSAlgebra over S;

theorem Th17:
  for A being MSAlgebra over S holds A is MSSubAlgebra of the MSAlgebra of A
     by MSUALG_2:5;
