Positive definiteness of a Lyapunov function
= Positive definiteness of a Lyapunov function
A <Lyapunov function> is positive definite at an equilibrium $x_*$ when $V(x_*)=0$ and $V(x)>0$ for nearby $x\ne x_*$. Thus $x_*$ is a strict local minimum of $V$.