Définition

Une ' relation binaire' sur un ensemble E est tout simplement une relation dont la source et le but sont égaux à E. C'est donc une relation de E vers E.

Exemples de relations aléatoires

Cliquez pour voir des exemples aléatoires!

Relations particulières

Relation vide

C'est une relation triviale où rien n'est relié à rien. Le graphe est vide.
Cliquez pour voir des relations vides!

Relation pleine

Encore appelée relation 'grossière'. Tout est relié à tout le graphe est égal au produit cartésien de l'ensemble E par lui-même.
Cliquez pour voir des relations pleines!

Relation d'égalité

C'est la relation pour laquelle chaque élément est relié à lui-même et à lui seul. Le graphe est égal à la diagonale.
Cliquez pour voir des relations d'égalité!