 Formally, given a relational structure \(F=(\mathcal{N}, W, \succeq, E)\), an outcome \(w\in W\) is said to be stable if there is no coalition \(C\) and set of outcomes \(X\subseteq W\) such that both of the following conditions are satisfied: