theorem Th15: :: UNIALG_2:15

for U0 being Universal_Algebra
for U1 being SubAlgebra of U0 holds Constants U0 is Subset of U1