# Tube lemma

From Topospaces

## Statement

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:

, and

In other words, any open subset containing a slice, contains an [open cylinder]] that contains the slice.