Большой англо-русский и русско-английский словарь
эквациональный - equational category - equational class - equational compactness - equational completeness - equational definability - equational equivalence - equational implication - equational logic - equational system - equational theor - equational undefinability