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