Definition:Finite Subcover