relation entre deux éléments quelconques d'un ensemble donné, qui est vraie pour certains couples ordonnés spécifiés d'éléments et fausse pour les autres couples Note 1 à l'article: 1 La relation binaire est vraie ou fausse selon que le couple appartient ou non à un sous-ensemble spécifié du produit cartésien de l'ensemble par lui-même. In existe une correspondance biunivoque entre les relations binaires dans un ensemble et les sous-ensembles de ce produit cartésien. Note 1 à l'article: 2 Une relation binaire entre les éléments a et b est notée aℛb. |