Una relación que asigna a cada valor de x exactamente un valor de y.