i want to prove the relation R := { (1,2), (3,2) } of the set { 1, 2, 3 } for transitivity
R is transitivity if \forall a , b, c \in A : (a,b) \in R \land (b,c) \in R \rightarrow (a,c) \in R
but the first part of the implication is never even fulfilled because there is never a (b,a) for any (a,b) in the relation
so is it transitiv or not?
R is transitivity if \forall a , b, c \in A : (a,b) \in R \land (b,c) \in R \rightarrow (a,c) \in R
but the first part of the implication is never even fulfilled because there is never a (b,a) for any (a,b) in the relation
so is it transitiv or not?