离公理模式、或受限概括公理模式是 Zermelo-Fraenkel 集合论中的一个公理模式。它也叫做概括公理模式，尽管这个术语也用于下面讨论的无限制概括假定 "P" 是不含符号 "B" 的一个单变量谓词。在 Zermelo-Fraenkel 公理的形式语言中，这个公理模式读做：换句话说：要理解这个公理模式，注意集合 "B" 必须是 "A" 的子集。所以，这个公理模式实际上说的是，给定集合 "A" 和谓词 "P"，我们可以找到 "A" 的子集 "B"，它的成员正是那些满足 "P" 的 "A" 的成