Definition:Half-Plane/Closed/Lower

Definition
Let $P$ denote the plane implemented as a Cartesian system.

Let $L$ be the $x$-axis.

The closed lower half-plane $H_{\text {CL} }$ is the area of $P$ below and including $L$.

That is, where $y \le 0$:


 * $H_{\text {CL} } := \set {\tuple {x, y}: y \in \R_{\le 0} }$

Also see

 * Definition:Closed Upper Half-Plane


 * Definition:Closed Left Half-Plane
 * Definition:Closed Right Half-Plane


 * Definition:Open Upper Half-Plane
 * Definition:Open Lower Half-Plane


 * Definition:Open Right Half-Plane
 * Definition:Open Left Half-Plane