集合論
新基礎集合論のような公理的集合論のいくつかの非標準的形式を除いて、すべての集合の公理的集合論は相対的可補束のようなブール束でない。