Definition:Cover of Subset