Definition 2 
[1]}, [2]}, [3]} \(M \subseteq \mathcal {A}\) 
is an answer set of a logic program \(\Pi \)  if (1) \(M \in \mathit {mods}(\Pi )\)  and
(2) there is no subset \(M^{\prime } \subset M\)  such that \(M^{\prime } \in \mathit {mods}(\Pi ^M)\) .

