quasitransitivity (Q54957758)
property of binary relations
Language:
Current Data About quasitransitivity
(P31) (Q3924032)
(P1269) (Q7269539)
(P2534) \forall x,y,z \in X (x \mathcal{R} y \land \neg(y \mathcal{R} x) \land y \mathcal{R} z \land \neg(z \mathcal{R} y) \implies x \mathcal{R} z \land \neg(z \mathcal{R} x))
(P6104) (Q8487137)
other details
aliases quasi-transitivity
quasitransitive property
quasi-transitive property
description property of binary relations