Эквациональный — equational category — equational class — equational compactness — equational completeness — equational definability — equational equivalence — equational implication — equational logic — equational system — equational theor — equational undefinability