A rational function $f\in\mathbb{R}(X_1,\ldots,X_n)$ is positive semidefinite if $f$ is nonnegative whenever it is defined.