Mathématiques, informatique, politique et poésie
Une Relation binaire \(R\) est réfléxive quand \(\forall x, x R x\).
