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