In literature, people say a spectrahedron is the following set
$$\left\{x \in \mathbb{R}^d : x_1 A_1 + \cdots + x_d A_d \geq B \right\}$$
where $\geq$ is in the positive semidefinite sense. Is there a name for the set where one further restricts matrices $\{A_i\}_i,B$ to also be positive semidefinite?
This seems natural to me, but do not see people having looked at it, but also I am not sure what to google to understand this better.