Definition:Finite Cover