Typically, the schema designer specifies the functional that are 
semantically obvious; usually, however numerous other functional 
dependencies hold in all legal relation instances that satisfy the 
dependencies in F. Those other dependencies can be inferred or deduced
from the FD’s in F. The set of all such dependencies is called the 
closure of F and is denoted by F+.