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