Аннотация:
Известно, что изоморфизм влечет элементарную вложимость, а последняя влечет элементарную эквивалентность. Оба обратных утверждения неверны. Рассматриваются эти три отношения в классе моделей некоторой теории $T$ счетного языка $L$ первого порядка.