Axiom:Abstract Geometry Axioms

Definition
Let $P$ be a set.

Let $L$ be a set of subsets of $P$.

$\struct {P, L}$ is an abstract geometry $\struct {P, L}$ satisfies the axioms:

These criteria are called the abstract geometry axioms.

Also see

 * Definition:Abstract Geometry