Sketch of Singer's Elementary Topology and Geometry

（1.3.2）设 是拓扑空间， 和 是连通集，如果 对任意 成立，则 连通

定义有限交性质（简写为f.i.p.）为对任意闭集族 ，若满足下述性质1则满足性质2 ：
1. 对任意有限集 ，
2.

f.i.p.无非紧性的逆否形式，因而自然等价于紧。