positive semidefiniteA rational function f∈ℝ(X1,…,Xn) is positive semidefiniteif f is nonnegative whenever it is defined.