Mathématiques, informatique, politique et poésie
Une relation binaire \(R\) est dite transitive quand \(\forall x \forall y \forall z((x R y \land y R z) \implies x R z)\).
