Ein Punkt <math>P</math> liegt auf einer Geraden <math>g</math> genau dann, wenn die Gerade <math>g</math> durch den Punkt <math>P</math> geht. Also sind „liegt auf“ und „geht durch“ konverse Relationen.
''[[Mathematik]], [[Relationentheorie]], oft in'' [[konverse Relation]]: die  Umkehrrelation einer zweistelligen Relation