基数関数
d ( X ) = א 0 {\displaystyle {\rm {{d}(X)=\aleph _{0}}}} である X は可分空間と呼ばれる。
位相空間 X の cellularity とは c ( X ) = sup { | U | : U {\displaystyle {\rm {c}}(X)=\sup\{|{\mathcal {U}}|:{\mathcal {U}}} は X {\displaystyle X} の空でなく互いに交わりのない部分集合による族 } Hereditary cellularity (または spread) とは 部分集合の cellularity の最小上界。すなわち、: s ( X ) = h c ( X ) = sup { c ( Y ) : Y ⊆ X } {\displaystyle s(X)={\rm {hc}}(X)=\sup\{{\rm {c}}(Y):Y\subseteq X\}} または s ( X ) = sup { | Y | : Y ⊆ X {\displaystyle s(X)=\sup\{|Y|:Y\subseteq X} の 相対位相 が 離散位相である } {\displaystyle \}}
位相空間 X の点 x における tightness t(x, X) とは次のものである。 t ( x , X ) = sup { min { | Z | : Z ⊆ Y ∧ x ∈ c l X ( Z ) } : Y ⊆ X ∧ x ∈ c l X ( Y ) } .