Closed half-space

Summary