Las tres primeras propiedades implican que un filtro de conjunto tiene la Propiedad de la Intersección Finita.