The upper half plane in the complex plane, abbreviated UHP, is defined as $\{ z \in {\mathbb C}: \operatorname{Im}(z)>0 \}$