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