Varieties of algebras are equationally defined classes of algebras, or "primitive classes" in MAL'CEV'S terminology. They made their first explicit …
