 What does it mean for \(E\), an “engagement” mapping, to be stable on the set of women \(W\) and the set of men \(M\)? Let us use \(m &gt;_w m'\) for “\(w\) prefers \(m\) over \(m'\)” (so bigger is better).