Item CERTO — como a acepção C é uma definição mais restrita (exige cobertura total do domínio e unicidade de imagem) e a acepção A é a mais ampla (qualquer correspondência), toda relação que satisfaz C automaticamente satisfaz A.

A acepção A exige apenas que exista "qualquer correspondência" entre os conjuntos, sem restrições adicionais; como a acepção C já é um caso particular e mais restrito de correspondência (com unicidade de imagem e cobertura total do domínio), toda relação que a satisfaça necessariamente também satisfaz a definição mais ampla da acepção A.