Positive semidefinite trace ball
= Positive semidefinite trace ball
The positive semidefinite trace ball of radius $s$ is
$$
\mathcal S_s=\{Z=Z^T:Z\succeq0,\ \operatorname{tr}Z\leq s\}.
$$
It is closed and convex, and $\|Z\|_F\leq\operatorname{tr}Z\leq s$ for every $Z\in\mathcal S_s$.