:: deftheorem Def5 defines GenAlg POLYALG1:def 5 :
for L being non empty multMagma
for B being non empty AlgebraStr over L
for A being non empty Subset of B
for b₄ being non empty strict Subalgebra of B holds
( b₄ = GenAlg A iff ( A c= the carrier of b₄ & ( for C being Subalgebra of B st A c= the carrier of C holds
the carrier of b₄ c= the carrier of C ) ) );