Mengentheorie/Ebene/Inzidenzrelation/Punkte und Geraden/Beispiel

Es sei die reelle Ebene und die Menge aller Geraden in der Ebene. Die Produktmenge

besteht aus allen Paaren , wobei ein Punkt der Ebene und eine Gerade ist. Es gibt mehrere Möglichkeiten, eine Gerade zu beschreiben, und damit auch mehrere Möglichkeiten, ein solches Paar zu beschreiben. Beispielsweise ist

ein Paar, wobei der Punkt vorne durch die beiden Koordinaten und die Gerade hinten durch eine Geradengleichung angegeben wird. Bei einem solchen Paar besteht keine Bedingung zwischen dem Punkt und der Geraden.

Die Inzidenzrelation zwischen Punkten und Geraden wird ausgedrückt durch

Statt „liegt auf“ kann man auch einfach schreiben.