Abstract
It is shown that if a variety V of (universal) algebras, defined by a set Σ of identities, is closed under the construction of power algebras then V can be defined by the subset Σ′ of Σ consisting of those identities ν = w of Σ such that every variable in ν = w occurs exactly once on both sides.

This publication has 2 references indexed in Scilit: