Soit une relation binaire entre un ensemble E et un autre ensemble F. Si pour tout éléments x appartenant à au plus une image y appartenant à F|x f y. Alors F est dite une relations fonctionnelle. Autrement dit, de chaque élément de E (ensemble de départ) part au plus une flèche vers f (image n) Alors la relation f s' appelle "fonction" et l' ensemble d' éléments de E qui ont une image est appelée "domaine de définition".