reserve UA for Universal_Algebra;

theorem
  id the carrier of UA = 1_UAEndMonoid UA by Def3;
