粗空間
Θ {\displaystyle \Theta } を粗空間 X {\displaystyle X} 上の一様有界な集合族からなるクラスとする。この時 Θ {\displaystyle \Theta } は以下の条件を満たす。
X {\displaystyle X} 上の一点集合全体 { { x } : x ∈ X } {\displaystyle \{\{x\}:x\in X\}} は Θ {\displaystyle \Theta } に属す。
U {\displaystyle {\mathcal {U}}} と V {\displaystyle {\mathcal {V}}} が Θ {\displaystyle \Theta } に属すとき、その合併 U ∪ V {\displaystyle {\mathcal {U}}\cup {\mathcal {V}}} も Θ {\displaystyle \Theta } に属す。