*Definition [#c35a4e0c]
Let E be a family of subsets of a topological space. E is said to have ccip (the closed coutable intersection property) if and only if {cl(G) : G is in E} has [[cip]].