Let be a compact space and any topological space. Consider endowed with the product topology. Suppose and is an open subset of containing the entire slice . Then, we can find an open subset of such that:
In other words, any open subset containing a slice, contains an [open cylinder]] that contains the slice.