reserve UA for Universal_Algebra;
reserve S for non void non empty ManySortedSign,
  U1 for non-empty MSAlgebra over S;

theorem
  MSAEnd U1 c= MSFuncs(the Sorts of U1, the Sorts of U1);
