Definition:Countable Intersection