Incidence geometry

An incidence geometry is the simplest kind of geometry, consisting of a triple $(P, E, 𝐼)$ where the set of points $P$ and the set of lines $E$ are two disjoint inhabited sets and $𝐼 \subseteq P \times E$ is an Incidence relation.¹ geo