A spectrahedral shadow is defined as
Spectrahedral shadows can be seen as the semidefinite generalization of polytopes, and can represent a large variety of convex sets. In particular, every convex set representation (e.g., zonotopes, intervals, ellipsoids, polytopes, capsules, zonotope bundles, and constrained zonotopes) implemented in CORA can be represented as a spectrahedral shadow. More information in Section 2.2.1.10 in the CORA manual.