Ideas in this flowchart

• Une relation entre X et Y est une structure fondée sur les paires ordonnées de X et Y.
• Une relation entre X et Y est un sous-ensemble du produit cartésien X × Y.
• Le produit cartésien X × Y contient une paire ordonnée pour chaque combinaison d’un élément de X et d’un élément de Y.
• Si X contient 5 éléments et Y en contient 4, alors X × Y contient 20 paires ordonnées.
• Exemple : X = {Harry, Ron, Hermione} et Y = {Dr. Pepper, Mt. Dew}.
• Dans cet exemple, X × Y contient les six combinaisons possibles entre les personnes et les boissons.
• Chaque combinaison possible doit apparaître dans le produit cartésien.
• Une énumération méthodique peut regrouper d’abord toutes les paires de Harry, puis celles de Ron et d’Hermione.
• L’ordre d’énumération n’a aucune importance, car les éléments d’un ensemble ne sont pas ordonnés.