Porque não é função quando para x existir dois y?‎

Você quer dizer o mesmo x para dois y diferentes. Ora, porque essa é a definição do que seja função. Se não for assim é uma relação não funcional.