Topological Cover

Statement

Definition. (@Tu11 pp. 329) Let be a topological space, and let be a collection of open subsets of . Then, is said to be an open cover of if

If is an open cover of and is a subcollection of that is also an open cover of , then is a subcover of .