Let $A$ be an $n\times n$ symmetric real square matrix. If for any non-zero vector $x$ we have $$x^t Ax\geq 0,$$ we call $A$ a positive semidefinite matrix.