Closed half-space