Définition

A et B étant deux ensembles, un 'graphe' de A vers B, ou de A dans B,  désignera ici  tout simplement une partie du produit cartésien AxB .
A s'appelle quelquefois la 'source' ou "l'ensemble de départ".
B s'appelle le 'but' ou "l'ensemble d'arrivée".
Dans le cas des ensembles finis, un graphe sera donc représenté en commençant par représenter la totalité du produit cartésien, puis en marquant les couples appartenant au graphe par un symbole (rond, croix, etc...).
Voici donc quelques exemples:


Rien n'empêche évidemment de considérer des graphes dans des produits cartésiens infinis.
Voici par exemple , en couleur orangée, le graphe de ℝ vers ℝ défini par  y ≥ x

Café Python

Voici un programme qui construit et liste un graphe: