有限交叉性

数学において、集合族が有限交叉的又は有限交叉性（ゆうげんこうさせい、finite intersection property）を持つとは、任意の有限部分族が空でない共通部分を持つことである。
更に集合族が（きょうゆうげんこうさせい、strong finite intersection property）を持つとは、任意の有限部分族を取ったとき、その共通部分が無限集合になることをいう。
叉は常用漢字でないため有限交差性と書かれることも多い。
定義.
集合 "X" 上の集合族 S が有限交叉的とは次を満たす事を言う。
集合 "X" 上の集合族 S が強有限交叉的とは次を満たす事を言う。
強有限交叉性は有限交叉性より真に強い性質である。