tiene la propiedad de la intersección finita (PIF), cuando cada subfamilia finita