Description: If is a continuous function with respect to
the standard topology,
then the preimage A of the values smaller than a given extended real
, is an open
set. (Contributed by Glauco Siliprandi,
20-Apr-2017.)