transitive relation (Q64861)
binary relation R with the property that xRy and yRz implies xRz
Language:
Current Data About transitive relation
(P279) (Q54938846)

(Q7269539)

(P910) (Q34526610)
(P143)

(P1552) (Q54933015)

(P2534) (X, X, \{(a,b) : \forall x,y,z \in X \left(x \mathcal{R} y \land y \mathcal{R} z \implies x \mathcal{R} z \right)\})

(P6104) (Q8487137)