Constrained Zonotope
A constrained zonotope is defined as
$$\mathcal{CZ} := \bigg\{ c + \sum_{i=1}^\gamma \beta_i G_{(\cdot,i)} \, \bigg| \, \sum_{i=1}^\gamma \beta_i A_{(\cdot,i)} = b, \beta_i \in [-1,1] \bigg\}. $$
Constrained zonotopes are compact, convex, and bounded sets.
More information in Section 2.2.1.9 in the CORA manual.