Изоморфизм моделей

Определение: Две модели называются изоморфными, если существует взаимно-однозначное соответствие между ними, сохраняющее основные отношения между элементами моделей.

Замечание: Основными отношениями между элементами (точками) моделей является отношение «принадлежности».

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

Изоморфизм моделей проективной прямой или проективной плоскости доказать самостоятельно (установить биекцию между моделями).