for X being set
for B being Subset-Family of X
for F being Dependency-set of X holds X deps_encl_by B is full_family