Equational variety