What is meant by the closure of a set of functional dependencies? Illustrate with and example.