The present chapter brings together parts of the theory of polynomial equalities and inequalities used in the theory of stochastic games. The theory can be considered as a theory of polynomial equalities and inequalities over the field of real numbers or the field of real algebraic numbers or more generally over an arbitrary real closed field.