theorem
  for A being OSSubset of OU0 holds GenMSAlg(A) is MSSubAlgebra of
  GenOSAlg(A) by Th32,MSUALG_2:8;
