Es una relación muchos a uno desde un conjunto de atributos a otro que tiene una relación.
Si Y sólo depende de X, y no de ningún subconjunto de X.
Es X -> Y entonces XZ -> YZ
Se representa X -> Y
DNI,dirección -> nombre,dirección
Se representa X=>Y
Si Y es un atributo, y no un conjunto de atrbutos.
Si tenemos una dependencia completa X => Y.