https://9lib.net/document/yev3nv9e-preferences-subsets-lattice-structure-stable-matchings.html