ボレル階層

数理論理学において、ボレル階層（ボレルかいそう、英語: Borel hierarchy）はポーランド空間の開集合によって生成されるボレル代数の階層化である; この代数の要素はボレル集合と呼ばれる。各ボレル集合にはランクと呼ばれる一意的な可算順序数が割り当てられる。