Definition:Open Cover of Subset