theorem Th11: :: POLYALG1:11

for L being 1-sorted
for A being AlgebraStr over L holds A is Subalgebra of A