布尔素理想定理(Boolean prime ideal theorem)即保证在给定的抽象代数中特定类型之子集的存在性之数学定理。布尔素理想定理声称在布尔代数中的理想可以被扩展成素理想。这个陈述对于在集合上的滤子的变体叫做叫做超滤子引理。通过考虑不同的带有适当的理想概念的数学结构可获得其他定理，例如环和(环论的)素理想，和分配格和(序理论的)的极大理想。本文关注序理论的素理想定理。

布尔素理想定理是指即保证在给定的抽象代数中特定类型之子集的存在性之数学定理，它声称在布尔代数中的理想 (序理论)可以被扩展成理想 (序理论)。这个陈述对于在集合上的滤子 (数学)的变体叫做叫做超滤子引理。通过考虑不同的带有适当的理想概念的数学结构可获得其他定理，例如环 (数学)和（环论的）素理想，和分配格和（序理论的）的极大理想。

尽管各种素理想定理可能看起来简单和直觉性的，它们一般不能从Zermelo–Fraenkel集合论（ZF）的公理推导出来。反而某些陈述等价于选择公理（AC），而其他的如布尔素理想定理，体现了严格弱于AC的性质。由于这个在ZF和ZF+AC (ZFC)之间的中介状态，布尔素理想定理经常被接受为集合论的公理。经常用缩写BPI（对布尔代数）或PIT提及这个额外公理。

在进行实际的素理想定理介绍之前，回想序理论理想就是(非空)有向的下闭集合。如果被考虑的 poset 有如同本文中的 poset 这样的二元上确界，则它可等价的特征化为下闭集合 I，它闭合于二元上确界下(就是说 x, y 在 I 中蕴涵了 x并y 在 I 中)。一个理想 I 是素的，只要下确界 x交y 在 I 中，你还有 x 在 I 中或 y 在 I 中。一个理想是真理想，如果它不等于整个 poset。

历史上，与后来的素理想定理有关的第一个陈述实际上提及的是滤子 -- 它是关于对偶次序的理想的子集。超滤子引理声称在集合上的所有滤子都包含在某个极大的(真)滤子内 -- 它叫超滤子。 回想在集合上的滤子就是它们的幂集上的布尔代数的真滤子。在这个特殊情况下，极大滤子(就是说不是任何真滤子的严格子集的滤子)和素滤子(就是说带有每个子集 X 和 Y 的并集，也包含 X 或 Y 的滤子)是一致的。所以这个陈述的(等价)对偶确保了一个幂集的所有理想都包含在一个素理想中。

上述陈述导致了各种一般化了的素理想定理，每个都存在于一个弱和一个强形式中。“弱素理想定理”声称所有“不平凡”(non-trivial)的特定类的代数都有至少一个素理想。相反的，“强素理想定理”要求不相交于给定滤子的所有理想可以扩展成仍不相交于这个滤子的素理想。在代数不是 poset 的情况下，你使用不同的子结构替代滤子。很多形式的这种定理实际上已知是等价的，所以“PIT”成立的断言通常被接受为相应的布尔代数陈述(BPI)是有效的断言。

类似定理的另一个变体是通过把“素理想”的每个出现都替代为“极大理想”而得到的。相应的极大理想定理 (MIT)经常但不总是比它们的 PIT 等价者要强。

布尔素理想定理是给布尔代数的强素理想定理。形式陈述为:

设 B 是布尔代数，设 I是理想并设 F 是 B 的一个滤子，使得 I 和 F 是不交集。则 I 被包含在 B 的不相交于 F 的某个素理想中。布尔代数的弱素理想简单的声称:

所有布尔代数都包含一个素理想。我们称呼这些陈述为弱和强 BPI。这两个陈述是等价的，因为强 BPI 明显的蕴涵了弱 BPI，而反蕴涵可以通过使用弱 BPI 在适当的商代数中找到素理想来完成。

可以用各种不同方式来表达 BPI。为此，回想下列定理:

对于布尔代数 B 的任何理想 I，下列是等价的:

I 是素理想。

I 是极大真理想，就是说对于任何真理想 J，如果 I 包含在 J 中则 I = J。

对于 B 的所有元素 a，I 正好包含 {a, ¬a} 之一。

这个定理是布尔代数的众所周知的事实。它的对偶建立了素滤子和超滤子的等价性。注意最后一个性质事实上是自对偶的 -- 只有前面的假定 I 是理想给出了完全特征刻画。值得提及的还有在这个定理内的所有蕴涵可以在经典 Zermelo-Fraenkel 集合论内证明。

因此下列布尔代数的(强)极大理想定理(MIT)等价于 BPI:

设 B 是布尔代数，设 I 是一个理想并设 F 是 B 的一个滤子，使得 I 和 F 不相交。则 I 包含在 B 的不相交于 FF 的极大性。这个变体产生了 BPI 的另一个等价特征化:

设 B 是布尔代数，设 I 是一个理想并设 F 是 B 的一个滤子，使得 I 和 F 不相交。则 I 包含在 B 的不相交于 F 的所有理想中极大的某个理想内。这个陈述等价于 BPI 的事实可以轻易的从下列定理中看出: 对于任何分配格 L，如理想 I 在不相交于给定滤子 F 的 L 的所有理想中是极大的，则 I 是素理想。这个陈述的证明(它可以在 ZF 集合论内得出)包含关于理想的文章内。因为任何布尔代数都是分配格，这证实了想要的蕴涵。

所有上述陈述都是等价的。进一步的，你可以发现布尔代数的对偶次序完全的是布尔代数自身。因此，当采用所有前者陈述的等价对偶的时候，你可能终结于同等的适用于布尔代数的定理，但是这里所有“理想”的出现都被替代为“滤子”。值得注意的是对于被考虑的布尔代数是关于子集排序的幂集

总结起来，对于布尔代数，弱和强 MIT，弱和强 PIT，和用滤子替代了理想的等价陈述都是等价的。已知所有这些陈述都是选择公理的推论(可利用佐恩引理轻易的证明)，但是不能在经典 Zermelo-Fraenkel 集合论中证明。但是 BPI 严格的弱于选择公理，尽管这个陈述的证明是非常不平凡的。

布尔代数的元型性质可以轻易的修改来包括更一般的格 (数学)，比如分配格或Heyting代数。但是，在这些情况下极大理想不同于素理想，而在PIT和MIT之间的关系是不明显的。

实际上，已发现分配格甚至Heyting代数的MIT等价于选择公理。在另一方面，已知分配格的强PIT等价于BPI（比如布尔代数MIT和PIT）。所以这个陈述严格的弱于选择公理。进一步的，观察到Heyting代数不是自对偶的，因此使用滤子替代理想在这种设置下产生不同的定理。可能令人惊奇，给Heyting代数的对偶的MIT不强于BPI，它尖锐的相对于上述的Heyting代数的MIT。

最后，素理想定理也存在于其他（非序理论的）抽象代数中。比如，环的MIT蕴涵了选择公理。这种情况需要把序理论的术语滤子替代为其他概念 -- 对于环乘法闭合子集是合适的。

我们前面对布尔代数讨论的元型性质可以轻易的修改来包括更一般的格，比如分配格或Heyting代数。但是，在这些情况下极大理想不同于素理想，而在 PIT 和 MIT 之间的关系是不明显的。

实际上，已发现分配格甚至 Heyting 代数的 MIT 等价于选择公理。在另一方面，已知分配格的强 PIT 等价于 BPI (比如布尔代数 MIT 和 PIT)。所以这个陈述严格的弱于选择公理。进一步的，观察到 Heyting 代数不是自对偶的，因此使用滤子替代理想在这种设置下产生不同的定理。可能令人惊奇，给 Heyting 代数的对偶的 MIT 不强于 BPI，它尖锐的相对于上述的 Heyting 代数的 MIT。

在集合 X上的滤子是 X 的非空子集的搜集，它在有限的交集和在超集下闭合。超滤子是极大滤子。超滤子引理声称所有在集合 X 上的所有滤子都是某个在 X 上的超滤子( X 的非空子集的极大滤子)的一个子集。这个引理最常用在拓扑学中。

超滤子引理等价于布尔素理想定理，带有在没有选择公理的 ZF 集合论内等价的可证明性。在证明背后的想法是形成布尔代数的任何集合的子集都在包含下偏序，而任何布尔代数都可通过Stone表示定理表示为集合的代数。

所有理想到极大理想的意义上。这对于证明 Stone布尔代数表示定理是有实践上重要性的，它是Stone对偶性的特殊情况，在其中用特定拓扑架设所有素理想的集合并可以真正的从这个数据恢复最初的布尔代数（在同构的意义下）。进一步的，已发现在应用中你可以自由的选择用素理想或素滤子来工作，因为所有理想唯一的确定一个滤子: 所有它的元素的布尔补的集合。这些方式在文献中都可找到。

在一般拓扑学中被称为依赖于选择公理的很多其他定理实际上等价于 BPI。例如，紧致豪斯多夫空间的积的定理等价于它。如果我们不考虑“豪斯多夫”性质我们得到等价于完全选择公理的一个定理。