Tweeplaatsige relatie: verschil tussen versies

 

==Definitie==

 

 

Soms wordt de tweeplaatsige relatie simpelweg gedefinieerd als een verzameling [[Koppel (wiskunde)|geordende paren]], overeenkomstig met de ''G'' uit de eerste definitie. Uit welke verzamelingen de leden van de geordende paren komen, moet in dat geval expliciet genoemd worden of uit de context blijken. Strikt genomen wordt in dit geval niet het begrip ''tweeplaatsige relatie'' gedefinieerd, maar het begrip ''tweeplaatsige relatie over'' … ''en'' …, omdat een verzameling paren enkel een tweeplaatsige relatie is in de context van de verzamelingen waaruit de leden van de paren komen.<ref>Ook eigenschappen als links- en rechts-volledigheid (zie ''[[#Eigenschappen van tweeplaatsige relaties|Eigenschappen van tweeplaatsige relaties]]'') zijn enkel te definiëren in deze context.</ref> De verzameling { ⟨1, 2⟩, ⟨2, 3⟩ } is bijvoorbeeld wel een tweeplaatsige relatie over '''''[[Natuurlijke getallen|N]]''''', maar niet over de verzameling van alle meetkundige figuren. Een verzameling paren is, met andere woorden, niet een tweeplaatsige relatie zonder meer.