Definition 5 Let \(I\)  be an arbitrary instance of SRI. Then \(A^*\)  is the set of the agents that are matched in any stable matching of \(I\) . By theorem 4.5.2 from [1]}, these are the same for every stable matching of \(I\) .

