Definition: Upper Half-Spaces

The -dimensional closed upper-half space is the subset of defined as

and equipped with the Euclidean topology.

NOTATION