subcover (cover + sub-; below_under)
A cover which is a subset of another cover