Элементарная эквивалентность

Две структуры элементарно эквивалентны, если удовлетворяют одним и тем же формулам первого порядка. Этот инструмент позволяет сравнивать модели по выразительной силе языка теории.