J'ai regardé de plus près ton énoncé.
Il fait la différence entre fonction et application (ce qui ne se fait pas en mathématiques et est une bizarrerie de l'enseignement secondaire, enfin ...). Je corrige donc les définitions
1 ) Une relation R de E dans F est une fonction si et seulement si, pour tout x de E, il existe
au plus un y de F tel que xRy.
Le domaine de définition de cette fonction est l'ensemble des x de E tels qu'il existe un y de F vérifiant xRy.
2) Une relation R de E dans F est une application si et seulement si, pour tout x de E, il existe

l y de F tel que xRy.
Est-ce que la relation R de E dans F définie par "xRy si et seulement si y est pair" vérifie la propriété de la définition 1 ?