代表集(set of representatives)给定集合的一个特殊子集.该子集由该集合的一个划分所决定.给定集合XA和A的划分s.若对每个cEs，存在某个aEC，使XC={a}，则称X为A的划分s的代表集。利用代表集，可等价地将选择公理叙述为:每个划分都有一个代表集.