Mathématiques, informatique, politique et poésie
Une relation binaire \(R\) entre \(E\) et \(F\) est un sous-ensemble \(G\) du produit cartésien \(E \times F\).
On notera \(x R y\) quand \((x, y) \in G\).
