有限加法族
前順序集合体 (preorder field of sets) は三つ組 (X, ≤, F) で (X, ≤) が前順序集合、(X, F) が集合体を成すものをいう。
位相集合体と同様に前順序集合体も開核代数の表現論に重要な役割を果たす。任意の開核代数は前順序集合体として表現することができて、その開核作用素・閉包作用素は、前順序から誘導されるアレクサンドロフ位相 (Alexandrov topology) に関する開核作用素・閉包作用素と対応付けられる。
Int  ( S ) = { x ∈ X : there exists a y ∈ S with y ≤ x } and {\displaystyle \operatorname {Int} (S)=\{x\in X:{\mbox{ there exists a }}y\in S{\mbox{ with }}y\leq x\}{\mbox{ and }}}
集合体が分離的であるとは、台集合における任意の相異なる2点が与えられたとき、一方を含み他方を含まぬような複体が常に存在することを言う。
集合体がコンパクトであるとは、台集合 X 上の任意の真フィルターに対し、そのフィルターに含まれる複体すべての共通部分が空でないことをいう(有限交叉性)。
これらの定義は、集合体の複体全体が生成する位相を考えることからきている。与えられた集合体 X = (X, F) に対し、その複体が生成する位相をもつ位相空間を T(X) で表すと、
T(X) は常に 0-次元空間である。
T(X) がハウスドルフ空間であることと、X が分離的であることとは同値。
T(X) が F を開コンパクト集合全体とするようなコンパクト空間であることと、X がコンパクトであることとは同値。
T(X) が F を開かつ閉な集合全体とするブール空間であることと、X が分離的かつコンパクトであることとは同値。
ブール代数の任意のストーン表現は分離コンパクトであり、対応するブール空間はストーン空間として知られる。ストーン空間の開かつ閉集合は、したがってストーン表現の複体に一致する。ブール代数のストーン表現が、対応するストーン空間からきれいに復元できるという事実において、ブール代数とブール空間との間には双対性が存在し、それはストーン双対性として知られる。