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