cip

定義

Let E be a subset family of a topological space. E is said to have cip (the countable intersection property) if and only if every countable subfamily of E has a nonempty intersection.