Consider the family of topological spaces
The generalised cartesian product is
The
coordinate of
in
is
Then
is the projection from
to
The subbase ofis defined as the family of sets of the form
where
is open in
Notice that
is the product ofand all spaces