Definition:Limit Point of Filter