title: Transitiviteit (wiskunde)
text: In de wiskunde heeft transitiviteit twee verschillende, maar verwante betekenissen.
  
  Een tweeplaatsige relatie  over een verzameling  heet transitief, als steeds wanneer een element  gerelateerd is aan een element , en  op zijn beurt weer gerelateerd is aan een element , ook  gerelateerd is aan . Transitiviteit is alleen op homogene relaties gedefinieerd en is onder die voorwaarde een belangrijke eigenschap van veel soorten relaties, bijvoorbeeld partiële ordeningen, equivalentierelaties en gerichte verzamelingen. De inverse van een transitieve relatie is ook transitief.
  
  De volgende begrippen zijn daarmee verwant:
   Een relatie  op een verzameling  wordt ook transitief genoemd, als de samengestelde relatie  een deelverzameling is van  zelf.
    De transitieve afsluiting van een tweeplaatsige relatie is de kleinste transitieve relatie die de oorspronkelijke relatie geheel omvat.
  
  Nog een betekenis komt uit de groepentheorie. Een groep , die als een permutatiegroep van de eindige rij of eventueel geïndexeerde verzameling  kan worden opgevat, heet transitief als er voor ieder paar elementen  en  in  een element  is, zodat .
  
  Een verzameling heet ten slotte nog transitief als alle elementen er tevens een deelverzameling van zijn. Een voorbeeld van een transitieve verzameling is .
  
  Voorbeelden van transitieve relaties 
  De relaties 'is groter dan', 'is minstens zo groot als' en 'is gelijk aan, de gelijkheid, zijn transitieve relaties:
   Als  en , dan geldt ook .
   Als  en , dan geldt ook .
   Als  en , dan geldt ook .
  
  Enige tijd hebben economen en filosofen geloofd dat preferentie een transitieve relatie was; er zijn nu echter wiskundige theorieën die aantonen dat preferenties en andere belangrijke economische resultaten kunnen worden gemodelleerd, zonder toevlucht te nemen tot deze veronderstelling. 
  
  De relatie 'is de moeder van' is geen transitieve relatie, want als Anna de moeder is van Brigitte en Brigitte de moeder van Claire, dan is Anna niet de moeder van Claire. Hierop aansluitend bestudeert men in de biologie vaak het moederschap over een willekeurig aantal generaties: de relatie 'is een matrilineaire voorouder van'. Dit is een transitieve relatie. Preciezer gezegd is het de transitieve afsluiting van de relatie 'is de moeder van'.
  
  Meer voorbeelden van transitieve relaties:
   "is een deelverzameling van" 
   "is deler van"
   "kan worden gedeeld door"
   "impliceert"
  
  Wiskunde