有限交叉性
集合 X 上の集合族 S が有限交叉的とは次を満たす事を言う。
T ⊂ S {\displaystyle \mathbf {T} \subset \mathbf {S} } が有限族のとき ⋂ T ≠ ∅ {\displaystyle \bigcap \mathbf {T} \neq \emptyset }
集合 X 上の集合族 S が強有限交叉的とは次を満たす事を言う。
T ⊂ S {\displaystyle \mathbf {T} \subset \mathbf {S} } が有限族のとき ⋂ T {\displaystyle \bigcap \mathbf {T} } が無限集合
強有限交叉性は有限交叉性より真に強い性質である。