theorem :: UNIALG_2:8

for U0 being Universal_Algebra holds U0 is SubAlgebra of U0