Définition formelle d'une relation