Def pg. 333

let , an open cover of is a collection where all is open, such that