Рассмотрим пример

Пусть R ² – арифметическая модель евклидовой плоскости. Тогда базовое множество М ₁ – это все точки M R ², реализующиеся как упорядоченные числовые пары (x, y). Множество H ₂ – это множество всех прямых l R ², реализующихся уравнениями вида ax + by + c = 0. Отношение Ð₁(M, l) (M l) – точка М принадлежит прямой l, реализуется свойством P ₁: пара (x, y) удовлетворяет уравнению ax + by + c = 0, и т.д.