1704642137
这表示，对于m′来说，首先是女士2即w2，其次是w1与w7中任一位，他对w1与w7偏好是无差异的，同时，对于别的女士，他宁可选择独身。
1704642138
1704642139
同样道理，我们可以在并集A∪｛w｝上来表达w的偏好。
1704642140
1704642141
一般地，我们记偏好集（set of preference）为
1704642142
1704642143
1704642144
1704642145
1704642146
并且，记某个婚姻介绍所的信息状态为｛M，W；P｝。
1704642147
1704642148
1704642149
1704642150
1704642151
我们记表示对m而言，他对w的偏好超过对w′的偏好；以表示m对w的喜欢至少与对w′一样好。
1704642152
1704642153
偏好集应当满足“完备性”与“传递性”两个公理。
1704642154
1704642155
下面引入三个概念：
1704642156
1704642157
2．匹配（matching）
1704642158
1704642159
【定义】 匹配：一种匹配，记为μ，是从并集M∪M到它本身的一种一对一的二阶对应关系（即，μ2（x）＝x），使得，如果μ（m）≠m，则μ（m）∈w；如果μ（w）≠w，则μ（w）∈M。我们称μ（x）为x的配偶（mate）。
1704642160
1704642161
请注意，在上述定义里，μ2（x）＝x，是指如果μ（m）＝w，则μ2（m）＝μ（w）＝m，即w若是配偶，则m必也是w配偶，即一个人配偶的配偶仍是他自己。一个人与某种工作很般配，反过来，那种工作岗位也会与这个人很般配。
1704642162
1704642163
举例如下：
1704642164
1704642165
例1：若有下列匹配
1704642166
1704642167
1704642168
1704642169
1704642170
这表示m1与w4结婚，但m5采取了独身方式。
1704642171
1704642172
3．个人理性的匹配
1704642173
1704642174
考虑一种特定的匹配（m，w），如果它不是互相接受的，即至少有一方宁可选择独身，即宁可采取不与人匹配，也会觉得比（m，w）这种匹配幸福。如果μ是这样，则称μ会不幸被那一方所阻止（blocked）。
1704642175
1704642176
所谓个人理性的匹配，就是指匹配过程是每人自愿的，无人由于被迫而进入不幸的匹配。
1704642177
1704642178
【定义】 个人理性匹配：如果每一个人对他（或她）的配偶是可以接受的，则称该匹配为个人理性的匹配。这也就是说，如果一个匹配没有被一个人阻止，则称该匹配是满足个人理性的。
1704642179
1704642180
注意，个人理性匹配并不是说每个人在匹配中已达到最佳状态，而只是说，对每一个人来说，参与匹配过程比不参与匹配要好。用就业的语言说，个人理性匹配是说，没有发生有人觉得工作不如呆在家里失业的事情。
1704642181
1704642182
由于个人理性匹配只满足一些起码的要求，还没有达到使人获得高度满足的状态，因此，我们需要定义更强一点的匹配标准。
1704642183
1704642184
4．稳定匹配
1704642185
1704642186
