A term used in mathematical logic, particularly in universal algebra, to describe a class of algebras that is closed under homomorphisms, subalgebras and direct products. In 1935 Garrett Birkhoff showed that all varieties are equational classes and vice versa, hence this result is sometimes referred to as Birkhoff's Theorem.