Lower half-plane (source code)

= Lower half-plane
{title2=$\{z:\operatorname{Im}z<0\}$}

The <lower half-plane> is the set of complex numbers with negative imaginary part. It is the reflection of the <complex upper half-plane> across the real axis.