For a general dynamical system, give the definitions of an invariant set,
attracting set and \(\omega \)-limit sets.
For the system \[ \dot {x}=-f(x,y)x-g(x,y)y,\qquad \dot {y}=g(x,y)x-f(x,y)y, \tag {6} \] where \(g(x,y)>0\) for all \(x,y\), and \(f(x,y)=x^2+y^2+2y-1\), identify all critical points and their
stability, and show that this system has an invariant annular region which
encloses the origin, and therefore has a nontrivial periodic solution.