择公理包括在内。
陈述.首先定义几个概念：集族：指由非空集合组成的集合。选择函数：它是一个集族上的函数。它规定：对于所有在集族formula_5中的集合formula_6，formula_7是"formula_6"的一个元素。那么，选择公理表示：上述可表示为：或者：该定理也可表达为：
变体.第二个版本的选择公理声称：第三个版本声称：使用这个版本的作者通常谈及“在"formula_13"上的选择函数”，但要注意这里选择函数的概念