What is a half-space?