basi di datii e dipendenza funzionale: definizione di implicazione

[zio_mangrovia]

Dalla definizione di implicazione del mio testo leggo quanto segue...

dato un insieme $F$ di dipendenze funzionali (FD) definito sullo schema $R(Z)$
e sia $X rarr Y$ una dipendenza funzionale di $F$:

si dice che $F$ implica $X rarr Y$ ( $F rArr X rarr Y$ )
se per ogni istanza $r$ su $R$, che verificata tutte le dipendenze funzionali in $F$,
risulta verificata anche per $X rarr Y$

DUBBIO:
mi chiedo ma se nella premessa si dichiara che $X rarr Y$ fa parte di $F$ e
nella seconda parte si afferma che ogni istanza r su R verifica tutte le dipendenze funzionali in F,
quindi anche $X rarr Y$, è OVVIO che verificherà anche $X rarr Y$ no ?!?
Mi sembra piuttosto banale questa conclusione o forse la interpreto male?

E' come dire è un insieme numerico $(1,2,3,4,5)$ e poi prendo il solo valore 5 dell'insieme,
poi dico se tutti gli elementi dell'insieme sono numeri allora anche il 5 è un numero!!! Ma se faccio la premessa che il 5 fa parte dell'insieme è ovvio no?