Definitions for "Subcover"
A cover is a subcover (or subcovering) of a cover if every member of is a member of .