A halfspace is defined as
Halfspaces are convex sets. More information in Section 2.2.2.2 in the CORA manual.