Category:Abstract Geometries

This category contains results about Abstract Geometries.
Definitions specific to this category can be found in Definitions/Abstract Geometries.

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

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

$(1)$	$:$			$\ds \forall A, B \in P: \exists l \in L:$	$\ds A, B \in l $
$(2)$	$:$			$\ds \forall l \in L: \exists A, B \in P:$	$\ds A, B \in l \land A \ne B $

Pages in category "Abstract Geometries"

The following 2 pages are in this category, out of 2 total.

\((1)\)	$:$			\(\ds \forall A, B \in P: \exists l \in L:\)	\(\ds A, B \in l \)
\((2)\)	$:$			\(\ds \forall l \in L: \exists A, B \in P:\)	\(\ds A, B \in l \land A \ne B \)