transitiv relation
traʹnsitiv relation, i logik och matematik en relation R som uppfyller villkoret att den råder mellan två element a och c, om det finns ett tredje element b sådant att denna relation råder såväl mellan a och b som mellan b och c, schematiskt: om aRb och bRc, så aRc.
Exempel: relationerna ”mindre än” och ”förfader”. En relation sägs vara intransitiv om den uppfyller villkoret: om aRb och bRc, så icke aRc. Således är relationen ”att vara far till” intransitiv, medan relation ”att vara släkt med” varken är transitiv eller intransitiv.
Information om artikeln
Källangivelse