La propiedad de intersección finita (p.i.f.)

Nombre del mini-artículo: La propiedad de intersección finita.
Nivel académico: Medio.
Prerrequisitos: Conocer los conceptos de topología y compacidad.
Resumen: La propiedad de intersección finita es un recurso puramente conjuntista que es usado dentro de la topología general como una de las bases para mostrar el importante teorema de Tychonoff (este teorema afirma que el producto arbitrario de espacios compactos es compacto -con la topología producto- si, y sólo si, cada espacio del producto es compacto). Nuestro objetivo será caracterizar la compacidad y probar la existencia de conjuntos maximales que poseen esta propiedad.