Med andre ord betyr en avhengighet FD: → at verdiene til bestemmes av verdiene til . To tupler som deler de samme verdiene av vil nødvendigvis ha de samme verdiene av .