Seja C= IR e F= IR, sendo IR, o conjunto dos números reais e a relação dada por x= y+ 1, podemos afirmar que o domínio e a imagem dessa relação é:

• o conjunto dos números reais, pois há infinitos pares ordenados que pertencem a essa relação.   
• o domínio é o conjunto dos números reais e a imagem é o conjunto dos números irracionais.  
• o conjunto dos números inteiros, pois há pares ordenados positivos e negativos somente, que pertencem a essa relação.  
• o conjunto dos números naturais apenas, pois há somente pares ordenados positivos que pertencem a essa relação.  
• o conjunto dos números reais, pois há finitos pares ordenados que pertencem a essa relação.