分出公理
主な公理的集合論の多くにおいて、分出公理（）、部分集合公理、制限された内包公理とは、公理型の一つである。本質的に、どの集合の定義可能な部分クラスも集合であることを主張する。
分出公理を内包公理（axiom schema of comprehension）と呼ぶ数学者もいるが、後述のように"無制限の"内包（"unrestricted" complehension）と呼ぶ者もいる。
制限された内包公理はラッセルのパラドックスを回避できるため、ツェルメロ、フレンケル、ゲーデルといった数学者は、集合論の最重要な公理と考えた。