Une relation entre deux ensembles est une proposition qui lie certains éléments du premier ensemble avec d'autres éléments du second ensemble.