Skip to content
aidb
t

transitive relation

Binary relation R with the property that xRy and yRz implies xRz

Entitytype of relationQ64861
Instance of
Subclass of

Overview

All data

16 statements · 25% with external sources · numbers in brackets are citations

Has characteristic
Defining formula
  • (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)\})

On other databases

12 identifiers linking transitive relation across the web's reference databases