. "is the set of all FDs logically implied by F. There is a set" . . .