Open Subset

Let and be sets.

is an open subset of if is a subset of and for every element , there exists an such that the interval is entirely contained within .