Definition
Suppose
are topological spaces. Suppose
is a set map. We say that
is separately continuous if it satisfies the following two conditions:
- For every
, the map
is a continuous map from
to
.
- For every
, the map
is a continuous map from
to
.
Equivalently,
is separately continuous if it is continuous as a map from
to
where
is given the slice topology.