1704642128
这表示，对于m来说，如果让他结婚，他首先会选择w1，其次w2，再其次是独身，即m自己，m在w3之前表示对m而言，选择与w3与别的从w4到wp的女士中的任一位结婚，不如独身。
1704642129
1704642130
通常，P（m）是被定义于并集W∪｛m｝之上的，表示m的匹配可能是m与w中的某一位或m本人组成。
1704642131
1704642132
请看m′的下列偏好
1704642133
1704642134
1704642135
1704642136
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