Definition:Finite Intersection