Equationally definable class

математика 1) многообразие 2) примитивный класс 3) эквационально определимый класс