let be a relation over set ( ), is a transitive relation if for every , if and then .
isnt transitive there exist and so that
let be a relation over set ( ), is a transitive relation if for every , if and then .
isnt transitive there exist and so that