Filtro (teoría de conjuntos)
# Filtro (teoría de conjuntos)

En matemáticas, un filtro en un conjunto $X$ es una familia ${\mathcal {B}}$ de subconjuntos tal que:
* $X\in {\mathcal {B}}$ y $\emptyset \notin {\mathcal {B}}$
* Si $A\in {\mathcal {B}}$ y $B\in {\mathcal {B}}$, entonces $A\cap B\in {\mathcal {B}}$
* Si $A,B\subset X,A\in {\mathcal {B}}$ y $A\subset B$, entonces $B\in {\mathcal {B}}$
Se puede considerar que un filtro en un conjunto representa una "colección de subconjuntos grandes", siendo un ejemplo intuitivo de filtro de entornos. Los filtros aparecen en la teoría del orden, en la teoría de modelos y en la teoría de conjuntos, pero también se pueden encontrar en topología, rama de la matemática donde se originaron. La noción dual de filtro es la de ideal.
Los filtros fueron introducidos por Henri Cartan en 1937, y como se describe en el artículo dedicado a filtros en topología, el colectivo de matemáticos franceses conocidos bajo el nombre de Nicolas Bourbaki los utilizó posteriormente en su libro Topologie Générale como una alternativa a la noción relacionada de net desarrollada en 1922 por E. H. Moore y Herman L. Smith. El orden de filtros es una generalización de los filtros desde los conjuntos hasta los conjuntos parcialmente ordenados arbitrarios. Específicamente, un filtro en un conjunto es simplemente un filtro de orden adecuado en el caso especial en el que el conjunto parcialmente ordenado consiste en un conjunto potencia ordenado por la relación de inclusión.

# Filtro (teoría de conjuntos)
## Preliminares, notación y nociones básicas

En este artículo, las letras romanas mayúsculas como $S{\text{ y }}X$ denotan conjuntos (pero no familias, a menos que se indique lo contrario) y $\wp (X)$ denotará el conjunto potencia de $X.$ Un subconjunto de un conjunto potencia se llama una familia de conjuntos (o simplemente, una familia) donde se define sobre $X$ si es un subconjunto de $\wp (X).$ Las familias de conjuntos se indicarán con letras de caligrafía mayúsculas como ${\mathcal {B}},{\mathcal {C}},{\text{ y }}{\mathcal {F}}.$ Siempre que se requieran estas suposiciones, se debe asumir que $X$ no está vacío y que ${\mathcal {B}},{\mathcal {F}},$ etc., son familias de conjuntos sobre $X.$
Los términos "prefiltro" y "base de filtros" son sinónimos y se utilizarán indistintamente.
Advertencia sobre definiciones y notaciones alternativas
Lamentablemente, existen varios términos en la teoría de los filtros que los distintos autores definen de forma diferente, entre los que se incluyen algunos de los términos más importantes, como "filtro". Si bien las diferentes definiciones del mismo término generalmente tienen una superposición significativa, debido a la naturaleza muy técnica de los filtros (y de la topología de conjuntos de puntos), estas diferencias en las definiciones a menudo tienen consecuencias importantes. Al leer bibliografía matemática, se recomienda que los lectores verifiquen cómo el autor define la terminología relacionada con los filtros. Por esta razón, este artículo establecerá claramente todas las definiciones tal como se utilizan. Desafortunadamente, no toda la notación relacionada con los filtros está bien establecida y algunas notaciones varían mucho según el autor (por ejemplo, la notación para el conjunto de todos los prefiltros de un conjunto), por lo que en tales casos este artículo utiliza cualquier notación que se describa mejor o sea más sencilla de recordar.
La teoría de los filtros y prefiltros está bien desarrollada y tiene una gran cantidad de definiciones y notaciones, muchas de las cuales ahora se enumeran sin más preámbulos para evitar que este artículo se vuelva prolijo y permitir una fácil búsqueda de notaciones y definiciones. Sus propiedades importantes se describen más adelante.
Establecimiento de operaciones
El cierre hacia arriba o isotonización en $X$ de una familia de conjuntos ${\mathcal {B}}\subseteq \wp (X)$ es
   ${\mathcal {B}}^{\uparrow X}:=\{S\subseteq X~:~B\subseteq S{\text{ para algunos }}B\in {\mathcal {B}}\,\}=\bigcup _{B\in {\mathcal {B}}}\{S~:~B\subseteq S\subseteq X\}$
y de manera similar el cierre hacia abajo de ${\mathcal {B}}$ es ${\mathcal {B}}^{\downarrow }:=\{S\subseteq B~:~B\in {\mathcal {B}}\,\}=\bigcup _{B\in {\mathcal {B}}}\wp (B).$
| Notación y definición | Nombre |
| $\ker {\mathcal {B}}=\bigcap _{B\in {\mathcal {B}}}B$ | Núcleo de ${\mathcal {B}}$ |
| $S\setminus {\mathcal {B}}:=\{S\setminus B~:~B\in {\mathcal {B}}\}=\{S\}\,(\setminus )\,{\mathcal {B}}$ | Dual de ${\mathcal {B}}{\text{ en }}S$ donde $S$ es un conjunto. |
| ${\mathcal {B}}{\big \vert }_{S}:=\{B\cap S~:~B\in {\mathcal {B}}\}={\mathcal {B}}\,(\cap )\,\{S\}$ | Traza de ${\mathcal {B}}{\text{ sobre }}S$ o la restricción de ${\mathcal {B}}{\text{ a }}S$ donde $S$ es un conjunto; a veces denotado por ${\mathcal {B}}\cap S$ |
| ${\mathcal {B}}\,(\cap )\,{\mathcal {C}}=\{B\cap C~:~B\in {\mathcal {B}}{\text{ y }}C\in {\mathcal {C}}\}$ | Operando sobre elementos (conjuntos) la intersección (${\mathcal {B}}\cap {\mathcal {C}}$ denota la intersección habitual) |
| ${\mathcal {B}}\,(\cup )\,{\mathcal {C}}=\{B\cup C~:~B\in {\mathcal {B}}{\text{ y }}C\in {\mathcal {C}}\}$ | Operando sobre elementos (conjuntos) la unión (${\mathcal {B}}\cup {\mathcal {C}}$ denota la unión habitual) |
| ${\mathcal {B}}\,(\setminus )\,{\mathcal {C}}=\{B\setminus C~:~B\in {\mathcal {B}}{\text{ y }}C\in {\mathcal {C}}\}$ | Operando sobre elementos (conjuntos) la sustracción (${\mathcal {B}}\setminus {\mathcal {C}}$ denota la sustracción de conjuntos habitual) |
| ${\mathcal {B}}^{\#X}={\mathcal {B}}^{\#}=\{S\subseteq X~:~S\cap B\neq \varnothing {\text{ para todo }}B\in {\mathcal {B}}\}$ | Retículo de ${\mathcal {B}}{\text{ en }}X$ |
| $\wp (X)=\{S~:~S\subseteq X\}$ | Conjunto potencia de un conjunto $X$ |
   ${\mathcal {C}}{\text{ y }}{\mathcal {F}},$
   ${\mathcal {C}}\leq {\mathcal {F}}$
   $C\in {\mathcal {C}}$
   $F\in {\mathcal {F}}{\text{ tal que }}F\subseteq C,$
   ${\mathcal {C}}$
   ${\mathcal {F}}$
   ${\mathcal {F}}$
   ${\mathcal {C}}.$
   ${\mathcal {F}}\vdash {\mathcal {C}}{\text{ o }}{\mathcal {F}}\geq {\mathcal {C}}$
   ${\mathcal {C}}\leq {\mathcal {F}}.$
   ${\mathcal {B}}{\text{ y }}{\mathcal {C}}$
   ${\mathcal {B}}\#{\mathcal {C}},$
   $B\cap C\neq \varnothing {\text{ para todo }}B\in {\mathcal {B}}{\text{ y }}C\in {\mathcal {C}}.$
En todo momento, $f$ es una aplicación y $S$ es un conjunto.
| Notación y definición | Nombre |
| $f^{-1}({\mathcal {B}})=\left\{f^{-1}(B)~:~B\in {\mathcal {B}}\right\}$ | Imagen de ${\mathcal {B}}{\text{ bajo }}f^{-1},$ o la preimagen de ${\mathcal {B}}$ bajo $f$ |
| $f^{-1}(S)=\{x\in \operatorname {dominio} f~:~f(x)\in S\}$ | Imagen de $S{\text{ bajo }}f^{-1},$ o la preimagen de $S{\text{ bajo }}f$ |
| $f({\mathcal {B}})=\{f(B)~:~B\in {\mathcal {B}}\}$ | Imagen de ${\mathcal {B}}$ bajo $f$ |
| $f(S)=\{f(s)~:~s\in S\cap \operatorname {dominio} f\}$ | Imagen de $S{\text{ bajo }}f$ |
| $\operatorname {image} f=f(\operatorname {dominio} f)$ | Imagen (o rango) de $f$ |
Las redes y sus colas
Un conjunto dirigido es un conjunto $I$ junto con un preorden, que se denotará por $\,\leq \,$ (a menos que se indique explícitamente lo contrario), que hace que $(I,\leq )$ sea un conjunto dirigido (hacia arriba). Esto significa que para todo $i,j\in I,$ existe algún $k\in I$ tal que $i\leq k{\text{ y }}j\leq k.$ Para cualquier índice $i{\text{ y }}j,$ la notación $j\geq i$ se define para significar que $i\leq j$, mientras que $i<j$ se define para significar que se cumple que $i\leq j$, pero no es cierto que $j\leq i$ (si $\,\leq \,$ sea una relación antisimétrica, lo que es equivalente a que $i\leq j{\text{ y }}i\neq j$).
Una red en $X$ es una aplicación de un conjunto dirigido no vacío en $X.$ La notación $x_{\bullet }=\left(x_{i}\right)_{i\in I}$ se utilizará para indicar una red con dominio $I.$
| Notación y definición | Nombre |
| $I_{\geq i}=\{j\in I~:~j\geq i\}$ | Cola o sección de $I$ comenzando en $i\in I$ donde $(I,\leq )$ es un conjunto dirigido. |
| $x_{\geq i}=\left\{x_{j}~:~j\geq i{\text{ y }}j\in I\right\}$ | Cola o sección de $x_{\bullet }=\left(x_{i}\right)_{i\in I}$ comenzando en $i\in I$ |
| $\operatorname {Colas} \left(x_{\bullet }\right)=\left\{x_{\geq i}~:~i\in I\right\}$ | Conjunto o prefiltro de colas /secciones de $x_{\bullet }.$ También denominado base de filtros final, generada por (las colas de) $x_{\bullet }=\left(x_{i}\right)_{i\in I}.$ Si $x_{\bullet }$ es una secuencia, entonces $\operatorname {Colas} \left(x_{\bullet }\right)$ es también denominado base de filtros secuencial . |
| $\operatorname {Filtrodecolas} \left(x_{\bullet }\right)=\operatorname {Colas} \left(x_{\bullet }\right)^{\uparrow X}$ | Filtro (final) de/generado por (las colas de) $x_{\bullet }=\left(x_{i}\right)_{i\in I}$ |
| $f\left(I_{\geq i}\right)=\{f(j)~:~j\geq i{\text{ y }}j\in I\}$ | Cola o sección de una red $f:I\to X$ comenzando en $i\in I$ donde $(I,\leq )$ es un conjunto dirigido. |
Advertencia sobre el uso de la comparación estricta
Si $x_{\bullet }=\left(x_{i}\right)_{i\in I}$ es una red e $i\in I$, entonces es posible que el conjunto $x_{>i}=\left\{x_{j}~:~j>i{\text{ y }}j\in I\right\},$ que se llama la cola de $x_{\bullet }$ detrás de $i$, esté vacío (por ejemplo, esto sucede si $i$ es un elemento mayorante del conjunto dirigido $I$). En este caso, la familia $\left\{x_{>i}~:~i\in I\right\}$ contendría el conjunto vacío, lo que impediría que fuera un prefiltro (definido más adelante). Esta es la razón (importante) para definir $\operatorname {Colas} \left(x_{\bullet }\right)$ como $\left\{x_{\geq i}~:~i\in I\right\}$ en lugar de $\left\{x_{>i}~:~i\in I\right\}$ o incluso $\left\{x_{>i}~:~i\in I\right\}\cup \left\{x_{\geq i}~:~i\in I\right\}$ y es por esta razón que en general, cuando se trata del prefiltro de colas de una red, la desigualdad estricta $\,<\,$ no puede usarse indistintamente con la desigualdad $\,\leq .$

# Filtro (teoría de conjuntos)
## Filtros y prefiltros

Familias de conjuntos ${\mathcal {F}}$ sobre $\Omega$ :
| Es necesariamente cierto de ${\mathcal {F}}\colon$ o ${\mathcal {F}}$ es cerrado bajo: | Dirigido por $\,\supseteq$ | $A\cap B$ | $A\cup B$ | $B\setminus A$ | $\Omega \setminus A$ | $A_{1}\cap A_{2}\cap \cdots$ | $A_{1}\cup A_{2}\cup \cdots$ | $\Omega \in {\mathcal {F}}$ | $\varnothing \in {\mathcal {F}}$ | P.I.F. |
| Sistema Π | | | | | | | | | | |
| Semianillo | | | | | | | | | | Nunca |
| Semiálgebra (Semicuerpo) | | | | | | | | | | Nunca |
| Clase monótona | | | | | | Solo si $A_{i}\searrow$ | Solo si $A_{i}\nearrow$ | | | |
| Sistema λ (Sistema de Dynkin) | | | | Solo si $A\subseteq B$ | | | Solo si $A_{i}\nearrow$ o son disjuntos | | | Nunca |
| Anillo (Teoría del orden) | | | | | | | | | | |
| Anillo (Teoría de la medida) | | | | | | | | | | Nunca |
| Anillo δ | | | | | | | | | | Nunca |
| Anillo Σ | | | | | | | | | | Nunca |
| Álgebra (Cuerpo) | | | | | | | | | | Nunca |
| Álgebra Σ (Cuerpo Σ) | | | | | | | | | | Nunca |
| Ideal dual | | | | | | | | | | |
| Filtro | | | | Nunca | Nunca | | | | $\varnothing \not \in {\mathcal {F}}$ | |
| Prefiltro (Base de filtros) | | | | Nunca | Nunca | | | | $\varnothing \not \in {\mathcal {F}}$ | |
| Subbase de filtros | | | | Nunca | Nunca | | | | $\varnothing \not \in {\mathcal {F}}$ | |
| Topología abierta | | | | | | | (Incluso $\cup$ arbitrario) | | | Nunca |
| Topología cerrada | | | | | | (Incluso $\cap$ arbitrario) | | | | Nunca |
| Es necesariamente cierto de ${\mathcal {F}}\colon$ o ${\mathcal {F}}$ es cerrado bajo: | Dirigido abajo | Intersecciones finitas | Uniones finitas | Complementos relativos | Complementos en $\Omega$ | Intersecciones numerables | Uniones numerables | Contiene a $\Omega$ | Contiene a $\varnothing$ | Propiedad de la Intersección Finita |
| Además, un semianillo es un sistema Π donde cada complemento $B\setminus A$ es igual a una unión disjunta finita de conjuntos en ${\mathcal {F}}.$ . Una semiálgebra es un semianillo que contiene a $\Omega .$ $A,B,A_{1},A_{2},\ldots$ son elementos arbitrarios de ${\mathcal {F}}$ y se supone que ${\mathcal {F}}\neq \varnothing .$ |||||||||||
La siguiente es una lista de propiedades que puede poseer una familia ${\mathcal {B}}$ de conjuntos, y que pertenecen a las propiedades definitorias de filtros, prefiltros y subbases de filtros. Siempre que sea necesario, se debe asumir que ${\mathcal {B}}\subseteq \wp (X).$
   ${\mathcal {B}}$
   * Filtro propio o no degenerada si $\varnothing \not \in {\mathcal {B}}.$ De lo contrario, si $\varnothing \in {\mathcal {B}},$ entonces se llama impropia o degenerada.
   * Dirigida hacia abajo si siempre que $A,B\in {\mathcal {B}}$ existe algún $C\in {\mathcal {B}}$ tal que $C\subseteq A\cap B.$
   ** Esta propiedad se puede caracterizar en términos de dirección, lo que explica la palabra "dirigido": una relación binaria $\,\preceq \,$ en ${\mathcal {B}}$ se llama dirigida hacia arriba si para dos $A{\text{ y }}B,$ hay algún $C$ que satisfaga $A\preceq C{\text{ y }}B\preceq C.$ El uso de $\,\supseteq \,$ en lugar de $\,\preceq \,$ da la definición de dirigido hacia abajo, mientras que usar $\,\subseteq \,$ en su lugar da la definición de dirigido hacia arriba. Explícitamente, ${\mathcal {B}}$ es dirigido hacia abajo (respectivamente, dirigido hacia arriba) si y solo si para todo $A,B\in {\mathcal {B}},$ existe algún $C\in {\mathcal {B}}$ "mayor" tal que $A\supseteq C{\text{ y }}B\supseteq C$ (respectivamente, tal que $A\subseteq C{\text{ y }}B\subseteq C$) - donde el elemento "mayor" siempre está en el lado derecho, − que puede reescribirse como $A\cap B\supseteq C$ (o como $A\cup B\subseteq C$).
   ** Si una familia ${\mathcal {B}}$ tiene un elemento mayor con respecto a $\,\supseteq \,$ (por ejemplo, si $\varnothing \in {\mathcal {B}}$) entonces necesariamente está dirigida hacia abajo.
   * Una familia de conjuntos es cerrada bajo intersecciones finitas (respectivamente, uniones) si la intersección (respectivamente, unión) de dos elementos cualesquiera de ${\mathcal {B}}$ es un elemento de ${\mathcal {B}}.$
   ** Si ${\mathcal {B}}$ está cerrada bajo intersecciones finitas, entonces ${\mathcal {B}}$ está necesariamente dirigida hacia abajo. Lo contrario es generalmente falso.
   * Una familia de conjuntos es cerrada hacia abajo o isotona en $X$ si ${\mathcal {B}}\subseteq \wp (X){\text{ y }}{\mathcal {B}}={\mathcal {B}}^{\uparrow X},$ o equivalentemente, si siempre que $B\in {\mathcal {B}}$ y algún conjunto $C$ satisfaga que $B\subseteq C\subseteq X,{\text{ entonces }}C\in {\mathcal {B}}.$ De manera similar, ${\mathcal {B}}$ es cerrada hacia abajo si ${\mathcal {B}}={\mathcal {B}}^{\downarrow }.$ Un conjunto cerrado hacia arriba (respectivamente, hacia abajo) también se llama conjunto superior (respectivamente, conjunto inferior).
   ** La familia ${\mathcal {B}}^{\uparrow X},$ que es el cierre ascendente de ${\mathcal {B}}{\text{ en }}X,$ es la única familia de de conjuntos más pequeños isótonos (con respecto a $\,\subseteq$) sobre $X$ que tiene ${\mathcal {B}}$ como subconjunto.
Muchas de las propiedades de ${\mathcal {B}}$ definidas en los párrafos anteriores y en los siguientes, como "propia" y "dirigida hacia abajo", no dependen de $X,$ por lo que mencionar el conjunto $X$ es opcional cuando se utilizan dichos términos. Las definiciones que implican estar "cerrado hacia arriba en $X,$" como la de "filtrar en $X,$" dependen de $X$, por lo que se debe mencionar el conjunto $X$ si no queda claro por el contexto.
    ${\textrm {Filtros}}(X)\quad =\quad {\textrm {Ideales-duales}}(X)\,\setminus \,\{\wp (X)\}\quad \subseteq \quad {\textrm {Prefiltros}}(X)\quad \subseteq \quad {\textrm {Subbases-de-filtros}}(X).$
   ${\mathcal {B}}$
   * Ideal si ${\mathcal {B}}\neq \varnothing$ está cerrado hacia abajo y cerrado bajo uniones finitas.
   * Dual ideal en $X$ si ${\mathcal {B}}\neq \varnothing$ está cerrado hacia arriba en $X$ y también cerrado bajo intersecciones finitas. De manera equivalente, ${\mathcal {B}}\neq \varnothing$ es un ideal dual si para todos $R,S\subseteq X,$ $R\cap S\in {\mathcal {B}}\;{\text{ si y solo si }}\;R,S\in {\mathcal {B}}.$
   ** Explicación de la palabra "dual": Una familia ${\mathcal {B}}$ es un ideal dual (o un ideal) en $X$ si y solo si dual de ${\mathcal {B}}{\text{ en }}X,$, que es la familia :$X\setminus {\mathcal {B}}:=\{X\setminus B~:~B\in {\mathcal {B}}\},$ es un ideal (o un ideal dual) en $X.$ En otras palabras, dual ideal significa "dual de un ideal". La familia $X\setminus {\mathcal {B}}$ no debe confundirse con $\wp (X)\setminus {\mathcal {B}}=\{S\subseteq X~:~S\notin {\mathcal {B}}\}$ porque estos dos conjuntos no son iguales en general. Por ejemplo, $X\setminus {\mathcal {B}}=\wp (X){\text{ si y solo si }}{\mathcal {B}}=\wp (X).$ El dual del dual es la familia original, es decir, $X\setminus (X\setminus {\mathcal {B}})={\mathcal {B}}.$ El conjunto $X$ pertenece al dual de ${\mathcal {B}}$ si y solo si $\varnothing \in {\mathcal {B}}.$
   * Filtro en $X$ si ${\mathcal {B}}$ es un dual ideal propio en $X.$ Es decir, un filtro en $X$ es un subconjunto no vacío de $\wp (X)\setminus \{\varnothing \}$ que está cerrado bajo intersecciones finitas y cerrado hacia arriba en $X.$ De manera equivalente, es un prefiltro que está cerrado hacia arriba en $X.$ En otras palabras, un filtro en $X$ es una familia de conjuntos sobre $X$ que (1) no está vacío (o de manera equivalente, contiene $X$), (2) está cerrado bajo intersecciones finitas, (3) está cerrado hacia arriba en $X,$ y (4 ) no tiene el conjunto vacío como elemento.
   ** Precaución: Algunos autores, particularmente algebristas, utilizan "filtro" para referirse a un ideal dual; otros, particularmente los topólogos, usan "filtro" para referirse a un ideal dual propio/no degenerado. Se recomienda que los lectores siempre comprueben cómo se define "filtro" al leer bibliografía matemática. Sin embargo, las definiciones de "ultrafiltro", "prefiltro" y "subbase de filtros" siempre requieren subconjuntos no degenerados. Este artículo utiliza la definición original de "filtro" de Henri Cartan, que requería que los subconjuntos no fueran degenerados.
   ** Un filtro dual en $X$ es una familia ${\mathcal {B}}$ cuyo $X\setminus {\mathcal {B}}$ dual es un filtro en $X.$ De manera equivalente, es un ideal en $X$ que no contiene a $X$ como elemento.
   ** Conjunto de potencias de $\wp (X)$ es el único dual ideal en $X$ que no es también un filtro. Excluir $\wp (X)$ de la definición de "filtro" en topología tiene el mismo beneficio que excluir el número $1$ de la definición de "número primo": permite obviar el tener que especificar "no degenerado" (el análogo de "no unitario" o "no igual a $1$") en muchos resultados importantes, haciendo así sus enunciados más sencillos.
   * Prefiltro o base de filtros si ${\mathcal {B}}\neq \varnothing$ es propio y está dirigido hacia abajo. De manera equivalente, ${\mathcal {B}}$ se denomina prefiltro si su cierre hacia arriba ${\mathcal {B}}^{\uparrow X}$ es un filtro. También se puede definir como cualquier familia que sea equivalente (con respecto a $\leq$) a algún filtro. Una familia no degenerada ${\mathcal {B}}\neq \varnothing$ es un prefiltro si y solo si ${\mathcal {B}}\,(\cap )\,{\mathcal {B}}\leq {\mathcal {B}}.$ Una familia es un prefiltro si y solo si lo mismo ocurre con su cierre hacia arriba.
   ** Si ${\mathcal {B}}$ es un prefiltro, entonces su cierre hacia arriba ${\mathcal {B}}^{\uparrow X}$ es el único filtro más pequeño (en relación con $\subseteq$) en $X$ que contiene a ${\mathcal {B}}$, y se llama el filtro generado por ${\mathcal {B}}.$ Se dice que un filtro ${\mathcal {F}}$ es generado por un prefiltro ${\mathcal {B}}$ si ${\mathcal {F}}={\mathcal {B}}^{\uparrow X},$ en el que ${\mathcal {B}}$ se llama base de filtros para ${\mathcal {F}}.$
   ** A diferencia de un filtro, un prefiltro no está necesariamente cerrado bajo intersecciones finitas.
   * Se tiene un sistema Π si ${\mathcal {B}}\neq \varnothing$ está cerrado bajo intersecciones finitas. Cada familia no vacía ${\mathcal {B}}$ está contenida en un único sistema Π más pequeño llamado el sistema Π generado por ${\mathcal {B}},$ que a veces se denota por $\pi ({\mathcal {B}}).$ Es igual a la intersección de todos los sistemas Π que contienen a ${\mathcal {B}}$ y también al conjunto de todas las posibles intersecciones finitas de conjuntos de ${\mathcal {B}}$:
       $\pi ({\mathcal {B}})=\left\{B_{1}\cap \cdots \cap B_{n}~:~n\geq 1{\text{ y }}B_{1},\ldots ,B_{n}\in {\mathcal {B}}\right\}.$
   ** Un sistema Π es un prefiltro si y solo si es propio. Cada filtro es un sistema Π propio y cada sistema Π propio es un prefiltro, pero lo contrario no se cumple en general.
   ** Un prefiltro es equivalente (con respecto a $\leq$) al sistema Π generado por él y ambas familias generan el mismo filtro en $X.$
   * Se tiene una subbase de filtros centrada si ${\mathcal {B}}\neq \varnothing$ y además ${\mathcal {B}}$ satisfacen cualquiera de las siguientes condiciones equivalentes: ${\mathcal {B}}$, y se dice que ${\mathcal {B}}$ es una subbase de filtros para este filtro. Este filtro es igual a la intersección de todos los filtros en $X$ que son superconjuntos de ${\mathcal {B}}.$ El sistema Π generado por ${\mathcal {B}},$ denotado por $\pi ({\mathcal {B}}),$ será un prefiltro y un subconjunto de ${\mathcal {F}}_{\mathcal {B}}.$ Además, el filtro generado por ${\mathcal {B}}$ es igual al cierre ascendente de $\pi ({\mathcal {B}}),$ lo que significa que $\pi ({\mathcal {B}})^{\uparrow X}={\mathcal {F}}_{\mathcal {B}}.$ Sin embargo, ${\mathcal {B}}^{\uparrow X}={\mathcal {F}}_{\mathcal {B}}$ si y solo si ${\mathcal {B}}$ es un prefiltro (aunque ${\mathcal {B}}^{\uparrow X}$ es siempre un filtro cerrado hacia arriba subbase para ${\mathcal {F}}_{\mathcal {B}}$). ${\mathcal {B}}.$ Sin embargo, si existe un prefiltro más pequeño $\subseteq$  (póngase por caso que se denota por $\operatorname {minPre} {\mathcal {B}}$) entonces, contrariamente a las expectativas habituales, no es necesariamente igual al "prefiltro generado por ${\mathcal {B}}$" (es decir, $\operatorname {minPre} {\mathcal {B}}\neq \pi ({\mathcal {B}})$ es posible). Y si la subbase de filtros ${\mathcal {B}}$ también es un prefiltro pero no un sistema Π, desafortunadamente, "el prefiltro generado por este prefiltro" (lo que significa que $\pi ({\mathcal {B}})$) no será ${\mathcal {B}}=\operatorname {minPre} {\mathcal {B}}$ (es decir, $\pi ({\mathcal {B}})\neq {\mathcal {B}}$ es posible incluso cuando ${\mathcal {B}}$ es un prefiltro), razón por la cual en este artículo se prefiere la terminología precisa e inequívoca de "el sistema Π generado por ${\mathcal {B}}$".
   ** ${\mathcal {B}}$ tiene la propiedad de la intersección finita, lo que significa que la intersección de cualquier familia finita de (uno o más) conjuntos en ${\mathcal {B}}$ no está vacía; explícitamente, esto significa que siempre que $n\geq 1{\text{ y }}B_{1},\ldots ,B_{n}\in {\mathcal {B}}$, entonces $\varnothing \neq B_{1}\cap \cdots \cap B_{n}.$
   ** El sistema Π generado por ${\mathcal {B}}$ es propio; es decir, $\varnothing \not \in \pi ({\mathcal {B}}).$
   ** El sistema Π generado por ${\mathcal {B}}$ es un prefiltro.
   ** ${\mathcal {B}}$ es un subconjunto de algún prefiltro.
   ** ${\mathcal {B}}$ es un subconjunto de algún filtro.
   ** Supóngase que ${\mathcal {B}}$ es una subbase de filtros. Esto implica que hay un filtro único más pequeño (relativo a $\subseteq$) ${\mathcal {F}}_{\mathcal {B}}{\text{ sobre }}X$ que contiene a ${\mathcal {B}}$ llamado el filtro generado por
   ** Un subconjunto $\subseteq$ , el más pequeño (es decir, el más pequeño en relación con $\subseteq$ ) prefiltro que contiene una subbase de filtros ${\mathcal {B}}$ existirá solo bajo ciertas circunstancias. Existe, por ejemplo, si la subbase de filtros ${\mathcal {B}}$ también es un prefiltro. También existe si el filtro (o equivalentemente, el sistema Π) generado por ${\mathcal {B}}$ es principal, en cuyo caso, ${\mathcal {B}}\cup \{\ker {\mathcal {B}}\}$ es el prefiltro más pequeño único que contiene a ${\mathcal {B}}.$ De lo contrario, en general, es posible que no exista un prefiltro $\subseteq$ más pequeño que contenga a ${\mathcal {B}}$. Por esta razón, algunos autores pueden referirse al sistema Π generado por ${\mathcal {B}}$ como el prefiltro generado por una subbase de filtros
   * Subfiltro de un filtro ${\mathcal {F}}$ y que ${\mathcal {F}}$ es un superfiltro de ${\mathcal {B}}$ si ${\mathcal {B}}$ es un filtro y ${\mathcal {B}}\subseteq {\mathcal {F}}$ donde para filtros, ${\mathcal {B}}\subseteq {\mathcal {F}}{\text{ si y solo si }}{\mathcal {B}}\leq {\mathcal {F}}.$
   ** Es importante destacar que la expresión "es un superfiltro de" es para filtros el análogo de "es una subsecuencia de". Entonces, a pesar de tener el prefijo "sub" en común, "ser un subfiltro de" es en realidad el inverso de "ser una subsecuencia de". Sin embargo, ${\mathcal {B}}\leq {\mathcal {F}}$ también se puede escribir como ${\mathcal {F}}\vdash {\mathcal {B}}$, que se describe diciendo "${\mathcal {F}}$ está subordinado a ${\mathcal {B}}.$". Con esta terminología, "ser subordinado a" se convierte para filtros (y también para prefiltros) en el análogo de "ser una subsecuencia de", lo que hace que esta sea una situación en la que usar el término "subordinado" y el símbolo $\,\vdash \,$ puede resultar útil.
No hay prefiltros en $X=\varnothing$ (ni hay redes valoradas en $\varnothing$), por lo que este artículo, como la mayoría de los autores, asumirá automáticamente sin comentarios que $X\neq \varnothing$ siempre que esta suposición sea necesaria.

# Filtro (teoría de conjuntos)
## Filtros y prefiltros
### Ejemplos básicos

Ejemplos nombrados
* El conjunto unitario ${\mathcal {B}}=\{X\}$ se llama no discreto o filtro trivial sobre $X.$ Es el filtro mínimo único en $X$ porque es un subconjunto de cada filtro en $X$. Sin embargo, no es necesario que sea un subconjunto de cada prefiltro en $X.$
* El ideal dual $\wp (X)$ también se llama el filtro degenerado en $X$ (a pesar de no ser realmente un filtro). Es el único ideal dual en $X$ que no es un filtro en $X.$
* Si $(X,\tau )$ es un espacio topológico y $x\in X,$ entonces un filtro de entornos ${\mathcal {N}}(x)$ en $x$ es un filtro en $X.$ Por definición, una familia ${\mathcal {B}}\subseteq \wp (X)$ se llama base de entornos (respectivamente, una subbase de entornos) en $x{\text{ para }}(X,\tau )$ si y solo si ${\mathcal {B}}$ es un prefiltro (respectivamente, ${\mathcal {B}}$ es una subbase de filtros) y el filtro en $X$ que genera ${\mathcal {B}}$ es igual al filtro de entorno ${\mathcal {N}}(x).$ La subfamilia $\tau (x)\subseteq {\mathcal {N}}(x)$ de entornos abiertos es una base de filtros para ${\mathcal {N}}(x).$ Ambos prefiltros ${\mathcal {N}}(x){\text{ y }}\tau (x)$ también forman bases para topologías en $X,$ con la topología generada $\tau (x)$ que es más gruesa que $\tau .$ Este ejemplo se generaliza inmediatamente desde entornos de puntos a entornos de subconjuntos no vacíos $S\subseteq X.$
* ${\mathcal {B}}$ es un prefiltro elemental si ${\mathcal {B}}=\operatorname {Colas} \left(x_{\bullet }\right)$ para alguna secuencia $x_{\bullet }=\left(x_{i}\right)_{i=1}^{\infty }{\text{ en }}X.$
* ${\mathcal {B}}$ es un filtro elemental o un filtro secuencial sobre $X$ si ${\mathcal {B}}$ es un filtro sobre $X$ generado por algún prefiltro elemental. El filtro de colas generado por una secuencia que finalmente no es constante y no es necesariamente un ultrafiltro. Cada filtro principal en un conjunto numerable es secuencial al igual que cada filtro cofinito en un conjunto numerablemente infinito. La intersección de un número finito de filtros secuenciales es nuevamente secuencial.
* El conjunto ${\mathcal {F}}$ de todos los subconjuntos cofinitos de $X$ (es decir, aquellos conjuntos cuyo complemento en $X$ es finito) es propio si y solo si ${\mathcal {F}}$ es infinito (o equivalentemente, $X$ es infinito), en cuyo caso ${\mathcal {F}}$ es un filtro en $X$ conocido como filtro de Fréchet o el filtro cofinito en $X.$ Si $X$ es finito, entonces ${\mathcal {F}}$ es igual al ideal dual $\wp (X),$ que no es un filtro. Si $X$ es infinito, entonces la familia $\{X\setminus \{x\}~:~x\in X\}$ de complementos de conjuntos unitarios es una subbase de filtros que genera el filtro de Fréchet en $X.$ Como ocurre con cualquier familia de conjuntos sobre $X$ que contiene a $\{X\setminus \{x\}~:~x\in X\},$ el núcleo del filtro de Fréchet en $X$ es el conjunto vacío: $\ker {\mathcal {F}}=\varnothing .$
* La intersección de todos los elementos en cualquier familia no vacía $\mathbb {F} \subseteq \operatorname {Filtros} (X)$ es en sí misma un filtro en $X$ llamado supremo o límite superior mínimo de $\mathbb {F} {\text{ en }}\operatorname {Filtros} (X),$ por lo que puede denotarse como $\bigwedge _{{\mathcal {F}}\in \mathbb {F} }{\mathcal {F}}.$ Dicho de otra manera, $\ker \mathbb {F} =\bigcap _{{\mathcal {F}}\in \mathbb {F} }{\mathcal {F}}\in \operatorname {Filtros} (X).$ Dado que cada filtro en $X$ tiene $\{X\}$ como subconjunto, esta intersección nunca está vacía. Por definición, el mínimo es el filtro más fino/más grande (en relación con $\,\subseteq \,{\text{ y }}\,\leq \,$) contenido como un subconjunto de cada miembro de $\mathbb {F} .$
** Si ${\mathcal {B}}{\text{ y }}{\mathcal {F}}$ son filtros, entonces su mínimo entre los $\operatorname {Filtros} (X)$ es el filtro ${\mathcal {B}}\,(\cup )\,{\mathcal {F}}.$ Si ${\mathcal {B}}{\text{ y }}{\mathcal {F}}$ son prefiltros, entonces ${\mathcal {B}}\,(\cup )\,{\mathcal {F}}$ es un prefiltro que es más grueso (con respecto a $\,\leq$) que ambos ${\mathcal {B}}{\text{ y }}{\mathcal {F}}$ (es decir, ${\mathcal {B}}\,(\cup )\,{\mathcal {F}}\leq {\mathcal {B}}{\text{ y }}{\mathcal {B}}\,(\cup )\,{\mathcal {F}}\leq {\mathcal {F}}$). De hecho, es uno de los prefiltros más finos, lo que significa que si ${\mathcal {S}}$ es un prefiltro tal que ${\mathcal {S}}\leq {\mathcal {B}}{\text{ y }}{\mathcal {S}}\leq {\mathcal {F}}$, entonces necesariamente ${\mathcal {S}}\leq {\mathcal {B}}\,(\cup )\,{\mathcal {F}}.$ Más generalmente, si ${\mathcal {B}}{\text{ y }}{\mathcal {F}}$ son familias no vacías, y si $\mathbb {S} :=\{{\mathcal {S}}\subseteq \wp (X)~:~{\mathcal {S}}\leq {\mathcal {B}}{\text{ y }}{\mathcal {S}}\leq {\mathcal {F}}\}$, entonces ${\mathcal {B}}\,(\cup )\,{\mathcal {F}}\in \mathbb {S}$ y ${\mathcal {B}}\,(\cup )\,{\mathcal {F}}$ es el elemento mayor (con respecto a $\leq$) de $\mathbb {S} .$
* Sea $\varnothing \neq \mathbb {F} \subseteq \operatorname {IdealesDuales} (X)$ y sea $\cup \mathbb {F} =\bigcup _{{\mathcal {F}}\in \mathbb {F} }{\mathcal {F}}.$ El supremo o límite superior mínimo de $\mathbb {F} {\text{ en los }}\operatorname {IdealesDuales} (X),$ denotado por $\bigvee _{{\mathcal {F}}\in \mathbb {F} }{\mathcal {F}},$ es el ideal dual más pequeño (en relación con $\subseteq$) en $X$ que contiene cada elemento de $\mathbb {F}$ como un subconjunto; es decir, es el ideal dual más pequeño (en relación con $\subseteq$) en $X$ que contiene a $\cup \mathbb {F}$ como subconjunto. Este ideal dual es $\bigvee _{{\mathcal {F}}\in \mathbb {F} }{\mathcal {F}}=\pi \left(\cup \mathbb {F} \right)^{\uparrow X},$ donde $\pi \left(\cup \mathbb {F} \right):=\left\{F_{1}\cap \cdots \cap F_{n}~:~n\in \mathbb {N} {\text{ y cada }}F_{i}{\text{ pertenece a algunos }}{\mathcal {F}}\in \mathbb {F} \right\}$ es el sistema Π generado por $\cup \mathbb {F} .$ Al igual que con cualquier familia de conjuntos no vacía, $\cup \mathbb {F}$ está contenida en algún filtro en $X$ si y solo si es una subbase de filtros, o de manera equivalente, si y solo si $\bigvee _{{\mathcal {F}}\in \mathbb {F} }{\mathcal {F}}=\pi \left(\cup \mathbb {F} \right)^{\uparrow X}$ es un filtro en $X,$ en cuyo caso esta familia es el filtro más pequeño (relativo a $\subseteq$) en $X$ que contiene cada elemento de $\mathbb {F}$ como un subconjunto y necesariamente $\mathbb {F} \subseteq \operatorname {Filtros} (X).$
* Sea $\varnothing \neq \mathbb {F} \subseteq \operatorname {Filtros} (X)$ y $\cup \mathbb {F} =\bigcup _{{\mathcal {F}}\in \mathbb {F} }{\mathcal {F}}.$ El supremo o límite superior mínimo de $\mathbb {F} {\text{ en los }}\operatorname {Filtros} (X),$ denotado por $\bigvee _{{\mathcal {F}}\in \mathbb {F} }{\mathcal {F}}$ si existe, es por definición el filtro más pequeño (en relación con $\subseteq$) en $X$ que contiene cada elemento de $\mathbb {F}$ como un subconjunto. Si existe, entonces necesariamente $\bigvee _{{\mathcal {F}}\in \mathbb {F} }{\mathcal {F}}=\pi \left(\cup \mathbb {F} \right)^{\uparrow X}$ (como se definió anteriormente) y $\bigvee _{{\mathcal {F}}\in \mathbb {F} }{\mathcal {F}}$ también serán iguales a la intersección de todos los filtros en $X$ que contengan a $\cup \mathbb {F} .$ Este supremo de $\mathbb {F} {\text{ en }}\operatorname {Filtros} (X)$ existe si y solo si el ideal dual $\pi \left(\cup \mathbb {F} \right)^{\uparrow X}$ es un filtro en $X.$ Es posible que el límite superior mínimo de una familia de filtros $\mathbb {F}$ no sea un filtro. De hecho, si $X$ contiene al menos dos elementos distintos, entonces existen filtros ${\mathcal {B}}{\text{ y }}{\mathcal {C}}{\text{ sobre }}X$ para los cuales no existe un filtro ${\mathcal {F}}{\text{ sobre }}X$ que contenga a ambos ${\mathcal {B}}{\text{ y }}{\mathcal {C}}.$ Si $\cup \mathbb {F}$ no es una subbase de filtros, entonces el supremo de $\mathbb {F} {\text{ en }}\operatorname {Filtros} (X)$ no existe y lo mismo es cierto para su supremo en $\operatorname {Prefiltros} (X)$, pero su supremo en el conjunto de todos los ideales duales en $X$ existirá (siendo el filtro degenerado $\wp (X)$).
** Si ${\mathcal {B}}{\text{ y }}{\mathcal {F}}$ son prefiltros (respectivamente, filtros en $X$), entonces ${\mathcal {B}}\,(\cap )\,{\mathcal {F}}$ es un prefiltro (respectivamente, un filtro) si y solo si no es degenerado (o dicho de otra manera, si y solo si ${\mathcal {B}}{\text{ y }}{\mathcal {F}}$ es una malla), en cuyo caso es uno de los prefiltros más gruesos de (respectivamente, el filtro más grueso) en $X$ (con respecto a $\,\leq$) que es más fino (con respecto a $\,\leq$) que ambos ${\mathcal {B}}{\text{ y }}{\mathcal {F}}.$ Esto significa que si ${\mathcal {S}}$ es cualquier prefiltro (respectivamente, cualquier filtro) tal que ${\mathcal {B}}\leq {\mathcal {S}}{\text{ y }}{\mathcal {F}}\leq {\mathcal {S}}$ entonces necesariamente ${\mathcal {B}}\,(\cap )\,{\mathcal {F}}\leq {\mathcal {S}},$ en cuyo caso se denota por ${\mathcal {B}}\vee {\mathcal {F}}.$
* Sean $I{\text{ y }}X$ conjuntos no vacíos y para cada $i\in I$ sea ${\mathcal {D}}_{i}$ un ideal dual en $X.$ Si ${\mathcal {I}}$ es cualquier ideal dual en $I$, entonces $\bigcup _{\Xi \in {\mathcal {I}}}\;\;\bigcap _{i\in \Xi }\;{\mathcal {D}}_{i}$ es un ideal dual en $X$ llamado ideal dual de Kowalsky o filtro de Kowalsky.
* El filtro club de un cardinal regular no numerable es el filtro de todos los conjuntos que contienen un subconjunto club de $\kappa .$ Es un filtro $\kappa$ completo cerrado bajo la intersección diagonal.
Otros ejemplos
* Sea $X=\{p,1,2,3\}$ y ${\mathcal {B}}=\{\{p\},\{p,1,2\},\{p,1,3\}\},$ lo que convierte a ${\mathcal {B}}$ en un prefiltro y una subbase de filtros que no está cerrada bajo intersecciones finitas. Debido a que ${\mathcal {B}}$ es un prefiltro, el prefiltro más pequeño que contiene ${\mathcal {B}}$ es ${\mathcal {B}}.$ El sistema Π generado por ${\mathcal {B}}$ es $\{\{p,1\}\}\cup {\mathcal {B}}.$ En particular, el prefiltro más pequeño que contiene la subbase de filtros ${\mathcal {B}}$ no es igual al conjunto de todas las intersecciones finitas de conjuntos en ${\mathcal {B}}.$ El filtro en $X$ generado por ${\mathcal {B}}$ es ${\mathcal {B}}^{\uparrow X}=\{S\subseteq X:p\in S\}=\{\{p\}\cup T~:~T\subseteq \{1,2,3\}\}.$ Los tres ${\mathcal {B}},$ que genera el sistema Π${\mathcal {B}}$, y ${\mathcal {B}}^{\uparrow X}$ son ejemplos de prefiltros fijos, principales y ultra que son principales en el punto $p.$ Además, ${\mathcal {B}}^{\uparrow X}$ también es un ultrafiltro en $X.$
* Sea $(X,\tau )$ un espacio topológico, ${\mathcal {B}}\subseteq \wp (X),$ y defínase ${\overline {\mathcal {B}}}:=\left\{\operatorname {cl} _{X}B~:~B\in {\mathcal {B}}\right\},$ donde ${\mathcal {B}}$ es necesariamente más fino que ${\overline {\mathcal {B}}}.$. Si ${\mathcal {B}}$ no está vacío (respectivamente, no es degenerado; una subbase de filtros; un prefiltro; o está cerrado bajo uniones finitas), entonces lo mismo se aplica a ${\overline {\mathcal {B}}}.$ Si ${\mathcal {B}}$ es un filtro en $X$, entonces ${\overline {\mathcal {B}}}$ es un prefiltro pero no necesariamente un filtro en $X$, aunque $\left({\overline {\mathcal {B}}}\right)^{\uparrow X}$ es un filtro en $X$ equivalente a ${\overline {\mathcal {B}}}.$
* El conjunto ${\mathcal {B}}$ de todos los subconjuntos abiertos densos de un espacio topológico (no vacío) $X$ es un sistema Π propio y, por lo tanto, también un prefiltro. Si el espacio es un espacio de Baire, entonces el conjunto de todas las intersecciones numerables de subconjuntos abiertos densos es un sistema Π y un prefiltro que es más fino que ${\mathcal {B}}.$ Si $X=\mathbb {R} ^{n}$ (con $1\leq n\in \mathbb {N}$), entonces el conjunto ${\mathcal {B}}_{\operatorname {LebFinite} }$ de todos los $B\in {\mathcal {B}}$ tal que $B$ tiene medida de Lebesgue finita es un sistema Π propio y un prefiltro libre que también es un subconjunto de ${\mathcal {B}}.$ Los prefiltros ${\mathcal {B}}_{\operatorname {LebFinite} }$ y ${\mathcal {B}}$ son equivalentes y, por lo tanto, generan el mismo filtro en $X.$ El prefiltro ${\mathcal {B}}_{\operatorname {LebFinite} }$ está propiamente contenido en el prefiltro (y no es equivalente a él) que consta de todos los subconjuntos densos de $\mathbb {R} .$ Dado que $X$ es un espacio de Baire, cada intersección numerable de conjuntos en ${\mathcal {B}}_{\operatorname {LebFinite} }$ es densa en $X$ (y también coexigua y no exigua), por lo que el conjunto de todas las intersecciones numerables de elementos de ${\mathcal {B}}_{\operatorname {LebFinite} }$ es un prefiltro y un sistema Π; que también es más fino que ${\mathcal {B}}_{\operatorname {LebFinite} }$
* Una subbase de filtros sin $\,\subseteq$ (el prefiltro más pequeño que la contenga). En general, si una subbase de filtros ${\mathcal {S}}$ no es un sistema Π, entonces una intersección $S_{1}\cap \cdots \cap S_{n}$ de conjuntos $n$ de ${\mathcal {S}}$ generalmente requerirá una descripción que incluya $n$ variables que no se pueden reducir hasta solo dos (considérese, por ejemplo, $\pi ({\mathcal {S}})$ cuando ${\mathcal {S}}=\{(-\infty ,r)\cup (r,\infty )~:~r\in \mathbb {R} \}$). Este ejemplo ilustra una clase atípica de subbases de filtros ${\mathcal {S}}_{R}$, donde todos los conjuntos tanto en ${\mathcal {S}}_{R}$ como en su sistema Π generado pueden describirse como conjuntos de la forma $B_{r,s},$ de modo que, en particular, no se necesitan más de dos variables (específicamente, $r{\text{ y }}s$) para describir el sistema Π generado. Para todo $r,s\in \mathbb {R} ,$ sea donde $B_{r,s}=B_{\min(r,s),s}$ siempre se cumple, por lo que no se pierde generalidad al agregar el supuesto $r\leq s.$ Para todo $r\leq s{\text{ y }}u\leq v$ reales, si $s{\text{ o }}v$ no es negativo, entonces $B_{-r,s}\cap B_{-u,v}=B_{-\min(r,u),\max(s,v)}.$ Para cada conjunto $R$ de reales positivos, sea Sea $X=\mathbb {R}$ y supóngase que $\varnothing \neq R\subseteq (0,\infty )$ no es un conjunto unitario. Entonces, ${\mathcal {S}}_{R}$ es una subbase de filtros pero no un prefiltro y ${\mathcal {B}}_{R}=\pi \left({\mathcal {S}}_{R}\right)$ es el sistema Π que genera, de modo que ${\mathcal {B}}_{R}^{\uparrow X}$ es el único filtro más pequeño en $X=\mathbb {R}$ que contiene a ${\mathcal {S}}_{R}.$ Sin embargo, ${\mathcal {S}}_{R}^{\uparrow X}$ no es un filtro en $X$ (ni es un prefiltro porque no está dirigido hacia abajo, aunque es una subbase de filtros) y ${\mathcal {S}}_{R}^{\uparrow X}$ es un subconjunto propio del filtro ${\mathcal {B}}_{R}^{\uparrow X}.$ Si $R,S\subseteq (0,\infty )$ son intervalos no vacíos entonces las subbases de filtros ${\mathcal {S}}_{R}{\text{ y }}{\mathcal {S}}_{S}$ generan el mismo filtro en $X$ si y solo si $R=S.$ Si ${\mathcal {C}}$ es un prefiltro que satisface ${\mathcal {S}}_{(0,\infty )}\subseteq {\mathcal {C}}\subseteq {\mathcal {B}}_{(0,\infty )}$, entonces para cualquier $C\in {\mathcal {C}}\setminus {\mathcal {S}}_{(0,\infty )},$ la familia ${\mathcal {C}}\setminus \{C\}$ también es un prefiltro que satisface ${\mathcal {S}}_{(0,\infty )}\subseteq {\mathcal {C}}\setminus \{C\}\subseteq {\mathcal {B}}_{(0,\infty )}.$ Esto demuestra que no puede existir un prefiltro mínimo/menor (con respecto a $\subseteq$) que contenga ${\mathcal {S}}_{(0,\infty )}$ y sea un subconjunto del sistema Π generado por ${\mathcal {S}}_{(0,\infty )}.$ Esto sigue siendo cierto incluso si se elimina el requisito de que el prefiltro sea un subconjunto de ${\mathcal {B}}_{(0,\infty )}=\pi \left({\mathcal {S}}_{(0,\infty )}\right)$; es decir, (en marcado contraste con los filtros) no existe un prefiltro mínimo/menor (con respecto a $\subseteq$) que contenga la subbase de filtros ${\mathcal {S}}_{(0,\infty )}.$
    $B_{r,s}=(r,0)\cup (s,\infty ),$
    ${\mathcal {S}}_{R}:=\left\{B_{-r,r}:r\in R\right\}=\{(-r,0)\cup (r,\infty ):r\in R\}\quad {\text{ y }}\quad {\mathcal {B}}_{R}:=\left\{B_{-r,s}:r\leq s{\text{ con }}r,s\in R\right\}=\{(-r,0)\cup (s,\infty ):r\leq s{\text{ en }}R\}.$

# Filtro (teoría de conjuntos)
## Filtros y prefiltros
### Ultrafiltros

Hay muchas otras caracterizaciones de "ultrafiltro" y de "ultra prefiltro", que se enumeran en el artículo sobre ultrafiltros. En ese artículo también se describen propiedades importantes de los ultrafiltros.
    ${\begin{alignedat}{8}{\textrm {Ultrafiltros}}(X)\;&=\;{\textrm {Filtros}}(X)\,\cap \,{\textrm {Ultra-Prefiltros}}(X)\\&\subseteq \;{\textrm {Ultra-Prefiltros}}(X)={\textrm {Subbases-Ultra-Filtros}}(X)\\&\subseteq \;{\textrm {Prefiltros}}(X)\\\end{alignedat}}$
   ${\mathcal {B}}\subseteq \wp (X)$
   * Ultra si se cumple que $\varnothing \not \in {\mathcal {B}}$ y cualquiera de las siguientes condiciones equivalentes:
   ** Para cada conjunto $S\subseteq X$ existe algún conjunto $B\in {\mathcal {B}}$ tal que $B\subseteq S{\text{ o }}B\subseteq X\setminus S$ (o equivalentemente, tal que $B\cap S{\text{ equivale a }}B{\text{ o a }}\varnothing$).
   ** Para cada conjunto $S\subseteq \bigcup _{B\in {\mathcal {B}}}B$ existe algún conjunto $B\in {\mathcal {B}}$ tal que $B\cap S{\text{ equivale a }}B{\text{ o a }}\varnothing .$
   *** Esta caracterización de "${\mathcal {B}}$ es ultra" no depende del conjunto $X,$ por lo que mencionar el conjunto $X$ es opcional cuando se utiliza el término "ultra".
   ** Para cada conjunto $S$ (no necesariamente ni siquiera un subconjunto de $X$) existe algún conjunto $B\in {\mathcal {B}}$ tal que $B\cap S{\text{ equivale a }}B{\text{ o a }}\varnothing .$
   *** Si ${\mathcal {B}}$ satisface esta condición, también lo hace cada superconjunto ${\mathcal {F}}\supseteq {\mathcal {B}}.$ Por ejemplo, si $T$ es cualquier conjunto unitario, entonces $\{T\}$ es ultra y, en consecuencia, cualquier superconjunto no degenerado de $\{T\}$ (como su cierre hacia arriba) también es ultra.
   * Ultra prefiltro si es un prefiltro que también es ultra. De manera equivalente, es una subbase de ultra filtros. Un prefiltro ${\mathcal {B}}$ es ultra si y solo si satisface cualquiera de las siguientes condiciones equivalentes:
   ** ${\mathcal {B}}$ es máximo en $\operatorname {Prefiltros} (X)$ con respecto a $\,\leq ,\,$ lo que significa que: ${\text{ para todo }}{\mathcal {C}}\in \operatorname {Prefiltros} (X),\;{\mathcal {B}}\leq {\mathcal {C}}\;{\text{ implica que }}\;{\mathcal {C}}\leq {\mathcal {B}}.$
   ** ${\text{Para todo }}{\mathcal {C}}\in \operatorname {Filtros} (X),\;{\mathcal {B}}\leq {\mathcal {C}}\;{\text{ implica que }}\;{\mathcal {C}}\leq {\mathcal {B}}.$
   *** Aunque esta afirmación es idéntica a la que se proporciona a continuación para los ultrafiltros, aquí se supone simplemente que ${\mathcal {B}}$ es un prefiltro, y no tiene por qué ser un filtro.
   ** ${\mathcal {B}}^{\uparrow X}$ es ultra (y por tanto un ultrafiltro).
   ** ${\mathcal {B}}$ es equivalente (con respecto a $\leq$) a algún ultrafiltro.
   ** Una subbase de filtros que sea ultra es necesariamente un prefiltro. Una subbase de filtros es ultra si y solo si es una subbase de filtros máxima con respecto a $\,\leq \,$ (como ya se ha señalado)
   * Ultrafiltro sobre $X$ si es un filtro en $X$ que es ultra. De manera equivalente, un ultrafiltro en $X$ es un filtro ${\mathcal {B}}{\text{ sobre }}X$ que satisface cualquiera de las siguientes condiciones equivalentes:
   ** ${\mathcal {B}}$ es generado por un ultra prefiltro.
   ** Para cualquier $S\subseteq X,S\in {\mathcal {B}}{\text{ o }}X\setminus S\in {\mathcal {B}}.$
   ** ${\mathcal {B}}\cup (X\setminus {\mathcal {B}})=\wp (X).$ Esta condición se puede reformular como: $\wp (X)$ está particionado por ${\mathcal {B}}$ y su dual $X\setminus {\mathcal {B}}.$
   *** Los conjuntos ${\mathcal {B}}{\text{ y }}X\setminus {\mathcal {B}}$ son disjuntos siempre que ${\mathcal {B}}$ sea un prefiltro.
   ** $\wp (X)\setminus {\mathcal {B}}=\{S\in \wp (X):S\not \in {\mathcal {B}}\}$ es un ideal.
   ** Para cualquier $R,S\subseteq X,$ si $R\cup S=X$, entonces $R\in {\mathcal {B}}{\text{ o }}S\in {\mathcal {B}}.$
   ** Para cualquier $R,S\subseteq X,$ si $R\cup S\in {\mathcal {B}}$ y entonces $R\in {\mathcal {B}}{\text{ o }}S\in {\mathcal {B}}$ (un filtro con esta propiedad se denomina filtro primo).
   *** Esta propiedad se extiende a cualquier unión finita de dos o más conjuntos.
   ** Para cualquier $R,S\subseteq X,$ si $R\cup S\in {\mathcal {B}}{\text{ y }}R\cap S=\varnothing$ entonces cualquier $R\in {\mathcal {B}}{\text{ o }}S\in {\mathcal {B}}.$
   ** ${\mathcal {B}}$ es un filtro máximo en $X$, lo que significa que si ${\mathcal {C}}$ es un filtro en $X$ tal que ${\mathcal {B}}\subseteq {\mathcal {C}}$, entonces necesariamente ${\mathcal {C}}={\mathcal {B}}$ (esta igualdad puede ser reemplazada por ${\mathcal {C}}\subseteq {\mathcal {B}}{\text{ o por }}{\mathcal {C}}\leq {\mathcal {B}}$).
   *** Si ${\mathcal {C}}$ está cerrado hacia arriba, entonces ${\mathcal {B}}\leq {\mathcal {C}}{\text{ si y solo si }}{\mathcal {B}}\subseteq {\mathcal {C}}.$ Por lo tanto, esta caracterización de los ultrafiltros como filtros máximos se puede reformular como:
       ${\text{ para todo }}{\mathcal {C}}\in \operatorname {Filtros} (X),\;{\mathcal {B}}\leq {\mathcal {C}}\;{\text{ implica que }}\;{\mathcal {C}}\leq {\mathcal {B}}.$
   *** Debido a que la subordinación $\,\geq \,$ es para filtros el análogo de "ser una subred/subsecuencia de" (específicamente, "subred" debería significar "subred AA", que se define a continuación), esta caracterización de un ultrafiltro como un "filtro máximamente subordinado" sugiere que un ultrafiltro puede interpretarse como análogo a algún tipo de "red de máxima profundidad" (lo que podría, por ejemplo, significar que "cuando se ve solo desde $X$" en algún sentido, es indistinguible de sus subredes, como es el caso de cualquier valor de una red en un conjunto unitario, por ejemplo), que es una idea que en realidad las ultraredes hacen rigurosa. Un ultrafiltro es entonces la afirmación de que cada filtro (o "red") tiene algún filtro subordinado (o "subred") que es "máximamente subordinado" (o "máximamente profundo").
Cualquier familia no degenerada que tenga un conjunto unitario como elemento es ultra, en cuyo caso poseerá el prefiltro ultra si y solo si también tiene la propiedad de intersección finita. El filtro trivial $\{X\}{\text{ en }}X$ es ultra si y solo si $X$ es un conjunto unitario.
Lema del ultrafiltro
El siguiente teorema importante se debe a Alfred Tarski (1930).
* Lema del ultrafiltro
* Cada filtro en un conjunto $X$ es un subconjunto de algún ultrafiltro en $X.$
Una consecuencia del lema de los ultrafiltros es que cada filtro es igual a la intersección de todos los ultrafiltros que lo contienen. Suponiendo los axiomas de Zermelo-Fraenkel (ZF), el lema del ultrafiltro se deriva del axioma de elección (en particular del lema de Zorn) pero es estrictamente más débil que él. El lema del ultrafiltro implica el axioma de elección para conjuntos finitos. Si solo se trata con espacios de Hausdorff, entonces la mayoría de los resultados básicos (como los que se encuentran en los cursos introductorios) en topología (como el teorema de Tíjonov para espacios compactos de Hausdorff y subbases) y en análisis funcional (como el teorema de Hahn–Banach) se pueden probar usando solo el lema del ultrafiltro, que puede hacer no necesaria toda la fuerza del axioma de elección.

# Filtro (teoría de conjuntos)
## Filtros y prefiltros
### Núcleos

Los núcleos son útiles para clasificar propiedades de prefiltros y otras familias de conjuntos.
   ${\mathcal {B}}$
   ${\mathcal {B}}:$
       $\ker {\mathcal {B}}=\bigcap _{B\in {\mathcal {B}}}B$
Si ${\mathcal {B}}\subseteq \wp (X)$, entonces para cualquier punto $x,x\not \in \ker {\mathcal {B}}{\text{ si y solo si }}X\setminus \{x\}\in {\mathcal {B}}^{\uparrow X}.$
Propiedades de los núcleos
Si ${\mathcal {B}}\subseteq \wp (X)$, entonces $\ker \left({\mathcal {B}}^{\uparrow X}\right)=\ker {\mathcal {B}}$ y este conjunto también es igual al núcleo del sistema Π generado por ${\mathcal {B}}.$ En particular, si ${\mathcal {B}}$ es una subbase de filtros, entonces los núcleos de todos los siguientes conjuntos son iguales:
    (1) ${\mathcal {B}},$ (2) el sistema Π generado por ${\mathcal {B}},$ y (3) el filtro generado por ${\mathcal {B}}.$
Si $f$ es una aplicación, entonces $f(\ker {\mathcal {B}})\subseteq \ker f({\mathcal {B}})$ y $f^{-1}(\ker {\mathcal {B}})=\ker f^{-1}({\mathcal {B}}).$ Si ${\mathcal {B}}\leq {\mathcal {C}}$, entonces $\ker {\mathcal {C}}\subseteq \ker {\mathcal {B}}$, mientras que si ${\mathcal {B}}$ y ${\mathcal {C}}$ son equivalentes, entonces $\ker {\mathcal {B}}=\ker {\mathcal {C}}.$ Las familias equivalentes tienen núcleos iguales. Dos familias principales son equivalentes si y solo si sus núcleos son iguales; es decir, si ${\mathcal {B}}$ y ${\mathcal {C}}$ son principales entonces son equivalentes si y solo si $\ker {\mathcal {B}}=\ker {\mathcal {C}}.$

# Filtro (teoría de conjuntos)
## Filtros y prefiltros
### Núcleos
#### Clasificación de familias por sus núcleos

   ${\mathcal {B}}$
   * Libre si $\ker {\mathcal {B}}=\varnothing ,$ o equivalentemente, si $\{X\setminus \{x\}~:~x\in X\}\subseteq {\mathcal {B}}^{\uparrow X};$ se puede reformular como $\{X\setminus \{x\}~:~x\in X\}\leq {\mathcal {B}}.$
   ** Un filtro ${\mathcal {F}}$ en $X$ es libre si y solo si $X$ es infinito y ${\mathcal {F}}$ contiene un filtro de Fréchet en $X$ como un subconjunto.
   * Fija si $\ker {\mathcal {B}}\neq \varnothing$, en cuyo caso se dice que ${\mathcal {B}}$ está fijado por cualquier punto $x\in \ker {\mathcal {B}}$.
   ** Cualquier familia fija es necesariamente una subbase de filtros.
   * Principal si $\ker {\mathcal {B}}\in {\mathcal {B}}.$
   ** Una familia principal propia de conjuntos es necesariamente un prefiltro.
   * Discreta o principal en $x\in X$ si $\{x\}=\ker {\mathcal {B}}\in {\mathcal {B}},$ en cuyo caso $x$ se denomina elemento principal.
   ** El filtro principal en $x$ sobre $X$ es el filtro $\{x\}^{\uparrow X}.$ Un filtro ${\mathcal {F}}$ es principal en $x$ si y solo si ${\mathcal {F}}=\{x\}^{\uparrow X}.$
   * De profundidad numerable si siempre que ${\mathcal {C}}\subseteq {\mathcal {F}}$ es un subconjunto numerable, entonces $\ker {\mathcal {C}}\in {\mathcal {B}}.$
Si ${\mathcal {B}}$ es un filtro principal en $X$, entonces $\varnothing \neq \ker {\mathcal {B}}\in {\mathcal {B}}$ y
    ${\mathcal {B}}=\{\ker {\mathcal {B}}\}^{\uparrow X}=\{S\cup \ker {\mathcal {B}}:S\subseteq X\setminus \ker {\mathcal {B}}\}=\wp (X\setminus \ker {\mathcal {B}})\,(\cup )\,\{\ker {\mathcal {B}}\}$
donde $\{\ker {\mathcal {B}}\}$ es también el prefiltro más pequeño que genera ${\mathcal {B}}.$
Familia de ejemplos: Para cualquier $C\subseteq \mathbb {R}$ no vacío, la familia ${\mathcal {B}}_{C}=\{\mathbb {R} \setminus (r+C)~:~r\in \mathbb {R} \}$ es libre, pero es una subbase de filtros si y solo si ninguna unión finita de la forma $\left(r_{1}+C\right)\cup \cdots \cup \left(r_{n}+C\right)$ cubre $\mathbb {R} ,$ en cuyo caso el filtro que genere también será libre. En particular, ${\mathcal {B}}_{C}$ es una subbase de filtros si $C$ es numerable (por ejemplo, $C=\mathbb {Q} ,\mathbb {Z} ,$ el conjunto de los números primos), un conjunto exiguo en $\mathbb {R} ,$ es un conjunto de medidas finitas o un subconjunto acotado de $\mathbb {R} .$ Si $C$ es un conjunto unitario, entonces ${\mathcal {B}}_{C}$ es una subbase para un filtro de Fréchet en $\mathbb {R} .$
Para cada filtro ${\mathcal {F}}{\text{ sobre }}X$ existe un par único de ideales duales ${\mathcal {F}}^{*}{\text{ y }}{\mathcal {F}}^{\bullet }{\text{ sobre }}X$ tal que ${\mathcal {F}}^{*}$ es libre, ${\mathcal {F}}^{\bullet }$ es principal y ${\mathcal {F}}^{*}\wedge {\mathcal {F}}^{\bullet }={\mathcal {F}},$ y ${\mathcal {F}}^{*}{\text{ y }}{\mathcal {F}}^{\bullet }$ no se entrelazan (es decir, ${\mathcal {F}}^{*}\vee {\mathcal {F}}^{\bullet }=\wp (X)$). El ideal dual ${\mathcal {F}}^{*}$ se llama la parte libre de ${\mathcal {F}}$, mientras que ${\mathcal {F}}^{\bullet }$ se llama la parte principal, donde al menos uno de estos ideales duales es un filtro. Si ${\mathcal {F}}$ es principal, entonces ${\mathcal {F}}^{\bullet }:={\mathcal {F}}{\text{ y }}{\mathcal {F}}^{*}:=\wp (X);$ de lo contrario, ${\mathcal {F}}^{\bullet }:=\{\ker {\mathcal {F}}\}^{\uparrow X}$ y ${\mathcal {F}}^{*}:={\mathcal {F}}\vee \{X\setminus \left(\ker {\mathcal {F}}\right)\}^{\uparrow X}$ son un filtro libre (no degenerado).
Prefiltros finitos y conjuntos finitos
Si una subbase de filtros ${\mathcal {B}}$ es finita, entonces es fija (es decir, no libre); esto se debe a que $\ker {\mathcal {B}}=\bigcap _{B\in {\mathcal {B}}}B$ es una intersección finita y la subbase de filtros ${\mathcal {B}}$ tiene la propiedad de intersección finita. Un prefiltro finito es necesariamente principal, aunque no tiene por qué estar cerrado bajo intersecciones finitas.
Si $X$ es finito, entonces todas las conclusiones anteriores son válidas para cualquier ${\mathcal {B}}\subseteq \wp (X).$ En particular, en un conjunto finito $X,$ no hay subbases de filtros libres (y por lo tanto, no hay prefiltros libres), todos los prefiltros son principales y todos los filtros en $X$ son filtros principales generados por sus núcleos (no vacíos).
El filtro trivial $\{X\}$ es siempre un filtro finito en $X$ y si $X$ es infinito, entonces es el único filtro finito porque un filtro finito no trivial en un conjunto $X$ es posible si y solo si $X$ es finito. Sin embargo, en cualquier conjunto infinito existen subbases de filtros y prefiltros no triviales que son finitos (aunque no pueden ser filtros). Si $X$ es un conjunto unitario, entonces el filtro trivial $\{X\}$ es el único subconjunto propio de $\wp (X)$ y, además, este conjunto $\{X\}$ es un ultraprefiltro principal y cualquier superconjunto ${\mathcal {F}}\supseteq {\mathcal {B}}$ (donde ${\mathcal {F}}\subseteq \wp (Y){\text{ y }}X\subseteq Y$) con la propiedad de intersección finita también será un ultra prefiltro principal (incluso si $Y$ es infinito).

# Filtro (teoría de conjuntos)
## Filtros y prefiltros
### Núcleos
#### Caracterización de ultra prefiltros fijos

Si una familia de conjuntos ${\mathcal {B}}$ es fija (es decir, $\ker {\mathcal {B}}\neq \varnothing$), entonces ${\mathcal {B}}$ es ultra si y solo si algún elemento de ${\mathcal {B}}$ es un conjunto unitario, en cuyo caso ${\mathcal {B}}$ será necesariamente un prefiltro. Cada prefiltro principal es fijo, por lo que un prefiltro principal ${\mathcal {B}}$ es ultra si y solo si $\ker {\mathcal {B}}$ es un conjunto unitario.
Cada filtro en $X$ que es principal en un solo punto es un ultrafiltro, y si además $X$ es finito, entonces no hay ultrafiltros en $X$ aparte de estos.
El siguiente teorema afirma que cada ultrafiltro cae en una de dos categorías: o es libre o es un filtro principal generado por un solo punto.
* Proposición
* Si ${\mathcal {F}}$ es un ultrafiltro en $X$, entonces las expresiones siguientes son equivalentes:
* ${\mathcal {F}}$ es fijo o, equivalentemente, no libre, lo que significa que $\ker {\mathcal {F}}\neq \varnothing .$
* ${\mathcal {F}}$ es principal, lo que significa que $\ker {\mathcal {F}}\in {\mathcal {F}}.$
* Algún elemento de ${\mathcal {F}}$ es un conjunto finito.
* Algún elemento de ${\mathcal {F}}$ es un conjunto unitario.
* ${\mathcal {F}}$ es principal en algún punto de $X,$ lo que significa que $\ker {\mathcal {F}}=\{x\}\in {\mathcal {F}}$ para algunos $x\in X.$
* ${\mathcal {F}}$ no contiene el filtro de Fréchet en $X.$
* ${\mathcal {F}}$ es secuencial.

# Filtro (teoría de conjuntos)
## Filtros y prefiltros
### Más fino/más grueso, subordinación y coincidencia

El preorden $\,\leq \,$ que se define a continuación es de fundamental importancia para el uso de prefiltros (y filtros) en topología. Por ejemplo, este preorden se utiliza para definir el equivalente de prefiltro, la "subsecuencia", donde "${\mathcal {F}}\geq {\mathcal {C}}$" puede interpretarse como si "${\mathcal {F}}$ es una subsecuencia de ${\mathcal {C}}$" (por lo que "subordinado a" es el equivalente en un prefiltro de "subsecuencia de"). También se utiliza para definir la convergencia de un prefiltro en un espacio topológico. La definición de ${\mathcal {B}}$ encaja con la de ${\mathcal {C}},$ que está estrechamente relacionada con el preorden $\,\leq ,$ y se utiliza en topología para definir los puntos de acumulación.
Dos familias de conjuntos ${\mathcal {B}}{\text{ y }}{\mathcal {C}}$ se indica que son son compatibles escribiendo ${\mathcal {B}}\#{\mathcal {C}},$ y lo son si $B\cap C\neq \varnothing {\text{ para todo }}B\in {\mathcal {B}}{\text{ y }}C\in {\mathcal {C}}.$ Si ${\mathcal {B}}{\text{ y }}{\mathcal {C}}$ no son compatibles, entonces se denominan disociados. Si $S\subseteq X{\text{ y }}{\mathcal {B}}\subseteq \wp (X)$, entonces ${\mathcal {B}}{\text{ y }}S$ se dice que son compatibles si ${\mathcal {B}}{\text{ y }}\{S\}$ coinciden, o equivalentemente, si la Traza de un conjunto de ${\mathcal {B}}{\text{ sobre }}S,$ que es la familia
    ${\mathcal {B}}{\big \vert }_{S}=\{B\cap S~:~B\in {\mathcal {B}}\},$
no contiene el conjunto vacío, donde la traza también se denomina Restricción a un conjunto de ${\mathcal {B}}{\text{ a }}S.$
   ${\mathcal {C}}\leq {\mathcal {F}},{\mathcal {F}}\geq {\mathcal {C}},{\text{ y }}{\mathcal {F}}\vdash {\mathcal {C}},$
   ${\mathcal {C}}$
   ${\mathcal {F}}$
   ${\mathcal {F}}$
   ${\mathcal {C}},$
   * Definición: Cada $C\in {\mathcal {C}}$ contiene algún $F\in {\mathcal {F}}.$ Explícitamente, esto significa que por cada $C\in {\mathcal {C}},$ hay algún $F\in {\mathcal {F}}$ tal que $F\subseteq C.$
   ** Dicho más brevemente, ${\mathcal {C}}\leq {\mathcal {F}}$ si cada conjunto en ${\mathcal {C}}$ es más grande que algún conjunto en ${\mathcal {F}}.$ Aquí, un "conjunto más grande" significa un superconjunto.
   * $\{C\}\leq {\mathcal {F}}{\text{ para cada }}C\in {\mathcal {C}}.$
   ** En otras palabras, $\{C\}\leq {\mathcal {F}}$ establece exactamente que $C$ es mayor que algún conjunto en ${\mathcal {F}}.$ La equivalencia de (a) y (b) se deduce inmediatamente.
   ** De esta caracterización se sigue que si $\left({\mathcal {C}}_{i}\right)_{i\in I}$ son familias de conjuntos, entonces $\bigcup _{i\in I}{\mathcal {C}}_{i}\leq {\mathcal {F}}{\text{ si y solo si }}{\mathcal {C}}_{i}\leq {\mathcal {F}}{\text{ para todo }}i\in I.$
   * ${\mathcal {C}}\leq {\mathcal {F}}^{\uparrow X},$ lo que que equivale a que ${\mathcal {C}}\subseteq {\mathcal {F}}^{\uparrow X}$;
   * ${\mathcal {C}}^{\uparrow X}\leq {\mathcal {F}}$;
   * ${\mathcal {C}}^{\uparrow X}\leq {\mathcal {F}}^{\uparrow X},$ que equivale a ${\mathcal {C}}^{\uparrow X}\subseteq {\mathcal {F}}^{\uparrow X}$;
   y si además ${\mathcal {F}}$ está cerrado hacia arriba, lo que significa que ${\mathcal {F}}={\mathcal {F}}^{\uparrow X},$ entonces esta lista se puede ampliar para incluir:
   * ${\mathcal {C}}\subseteq {\mathcal {F}}.$
   ** Entonces, en este caso, esta definición de "${\mathcal {F}}$ es más fino que ${\mathcal {C}}$" sería idéntica a definición topológica de "más fino" si ${\mathcal {C}}{\text{ y }}{\mathcal {F}}$ hubiera tenido topologías en $X.$
   Si una familia cerrada hacia arriba${\mathcal {F}}$ es más fina que ${\mathcal {C}}$ (es decir, ${\mathcal {C}}\leq {\mathcal {F}}$) pero ${\mathcal {C}}\neq {\mathcal {F}}$, entonces se dice que ${\mathcal {F}}$ es estrictamente más fina que ${\mathcal {C}}$ y ${\mathcal {C}}$ es estrictamente más gruesa que ${\mathcal {F}}.$
Ejemplo: Si $x_{i_{\bullet }}=\left(x_{i_{n}}\right)_{n=1}^{\infty }$ es una subsucesión de $x_{\bullet }=\left(x_{i}\right)_{i=1}^{\infty }$, entonces $\operatorname {Colas} \left(x_{i_{\bullet }}\right)$ está subordinado a $\operatorname {Colas} \left(x_{\bullet }\right);$ por lo que: $\operatorname {Colas} \left(x_{i_{\bullet }}\right)\vdash \operatorname {Colas} \left(x_{\bullet }\right)$ y también $\operatorname {Colas} \left(x_{\bullet }\right)\leq \operatorname {Colas} \left(x_{i_{\bullet }}\right).$ Dicho en términos más sencillos, el prefiltro de colas de una subsecuencia siempre está subordinado al de la secuencia original. Para ver esto, supóngase que $C:=x_{\geq i}\in \operatorname {Colas} \left(x_{\bullet }\right)$ sea arbitrario (o, equivalentemente, que $i\in \mathbb {N}$ sea arbitrario), quedando por demostrar que este conjunto contiene algún $F:=x_{i_{\geq n}}\in \operatorname {Colas} \left(x_{i_{\bullet }}\right).$ Para que el conjunto $x_{\geq i}=\left\{x_{i},x_{i+1},\ldots \right\}$ contenga $x_{i_{\geq n}}=\left\{x_{i_{n}},x_{i_{n+1}},\ldots \right\},$ es suficiente tener que $i\leq i_{n}.$ Dado que $i_{1}<i_{2}<\cdots$ son números enteros estrictamente crecientes, existe un $n\in \mathbb {N}$ tal que $i_{n}\geq i,$ y, por lo tanto, $x_{\geq i}\supseteq x_{i_{\geq n}}$ se cumple, tal como se estaba buscando. En consecuencia, $\operatorname {Filtrodecolas} \left(x_{\bullet }\right)\subseteq \operatorname {Filtrodecolas} \left(x_{i_{\bullet }}\right).$ El lado izquierdo será un subconjunto estricto/propio del lado derecho si (por ejemplo) cada punto de $x_{\bullet }$ es único (es decir, cuando $x_{\bullet }:\mathbb {N} \to X$ es inyectivo) y $x_{i_{\bullet }}$ es la subsecuencia $\left(x_{2},x_{4},x_{6},\ldots \right)$ con índice par porque bajo estas condiciones, cada cola $x_{i_{\geq n}}=\left\{x_{2n},x_{2n+2},x_{2n+4},\ldots \right\}$ (para cada $n\in \mathbb {N}$) de la subsecuencia pertenecerá al filtro del lado derecho pero no al del lado izquierdo.
En otro ejemplo distinto, si ${\mathcal {B}}$ es cualquier familia, entonces $\varnothing \leq {\mathcal {B}}\leq {\mathcal {B}}\leq \{\varnothing \}$ siempre se mantiene y, además, $\{\varnothing \}\leq {\mathcal {B}}{\text{ si y solo si }}\varnothing \in {\mathcal {B}}.$
Supóngase que ${\mathcal {C}}{\text{ y }}{\mathcal {F}}$ son familias de conjuntos que satisfacen ${\mathcal {B}}\leq {\mathcal {F}}{\text{ y }}{\mathcal {C}}\leq {\mathcal {F}}.$ Entonces, $\ker {\mathcal {F}}\subseteq \ker {\mathcal {C}},$ y ${\mathcal {C}}\neq \varnothing {\text{implies }}{\mathcal {F}}\neq \varnothing ,$ y también $\varnothing \in {\mathcal {C}}{\text{implies }}\varnothing \in {\mathcal {F}}.$ Si además de ${\mathcal {C}}\leq {\mathcal {F}},{\mathcal {F}}$ es una subbase de filtros y ${\mathcal {C}}\neq \varnothing ,$ entonces ${\mathcal {C}}$ es una subbase de filtros y también una concordancia de ${\mathcal {C}}{\text{ y }}{\mathcal {F}}$. De manera más general, si tanto $\varnothing \neq {\mathcal {B}}\leq {\mathcal {F}}{\text{ y }}\varnothing \neq {\mathcal {C}}\leq {\mathcal {F}}$ como la intersección de dos elementos cualesquiera de ${\mathcal {F}}$ no están vacíos, entonces ${\mathcal {B}}{\text{ y }}{\mathcal {C}}$ concuerdan. Cada subbase de filtros es más gruesa que tanto el sistema Π que genera como el filtro que genera.
Si ${\mathcal {C}}{\text{ y }}{\mathcal {F}}$ son familias tales que ${\mathcal {C}}\leq {\mathcal {F}},$ la familia ${\mathcal {C}}$ es ultra, y $\varnothing \not \in {\mathcal {F}},$ entonces ${\mathcal {F}}$ es necesariamente ultra. De ello se deduce que cualquier familia que sea equivalente a una familia ultra necesariamente será ultra. En particular, si ${\mathcal {C}}$ es un prefiltro, entonces tanto ${\mathcal {C}}$ como el filtro ${\mathcal {C}}^{\uparrow X}$ que genera son ultra o ninguno es ultra. Si una subbase de filtros es ultra, entonces necesariamente es un prefiltro, en cuyo caso el filtro que genera también será ultra. Una subbase de filtros ${\mathcal {B}}$ que no sea un prefiltro no puede ser ultra; pero aun así, es posible que el prefiltro y el filtro generados por ${\mathcal {B}}$ sean ultra. Si $S\subseteq X{\text{ y }}{\mathcal {B}}\subseteq \wp (X)$ está cerrado hacia arriba en $X$, entonces $S\not \in {\mathcal {B}}{\text{ si y solo si }}(X\setminus S)\#{\mathcal {B}}.$
Propiedades relacionales de la subordinación
La relación $\,\leq \,$ es reflexiva y transitiva, lo que la convierte en un preorden en $\wp (\wp (X)).$. La relación $\,\leq \,{\text{ sobre }}\operatorname {Filtros} (X)$ es antisimétrica, pero si $X$ tiene más de un punto entonces no es simétrica.
Simetría: Para cualquier ${\mathcal {B}}\subseteq \wp (X),{\mathcal {B}}\leq \{X\}{\text{ si y solo si }}\{X\}={\mathcal {B}}.$ Entonces, el conjunto $X$ tiene más de un punto si y solo si la relación $\,\leq \,{\text{ sobre }}\operatorname {Filtros} (X)$ y no es simétrica.
Antisimetría: Si ${\mathcal {B}}\subseteq {\mathcal {C}}{\text{ entonces }}{\mathcal {B}}\leq {\mathcal {C}}$, pero si bien lo contrario no se cumple en general, sí se cumple si ${\mathcal {C}}$ está cerrado hacia arriba (por ejemplo, si ${\mathcal {C}}$ es un filtro).
Dos filtros son equivalentes si y solo si son iguales, lo que hace que la restricción de $\,\leq \,$ a $\operatorname {Filtros} (X)$ sea antisimétrica. Pero en general, $\,\leq \,$ no es antisimétrica en $\operatorname {Prefiltros} (X)$ ni en $\wp (\wp (X))$; es decir, ${\mathcal {C}}\leq {\mathcal {B}}{\text{ y }}{\mathcal {B}}\leq {\mathcal {C}}$ y no implica necesariamente que ${\mathcal {B}}={\mathcal {C}}$; ni siquiera si ambos ${\mathcal {C}}{\text{ y }}{\mathcal {B}}$ son prefiltros. Por ejemplo, si ${\mathcal {B}}$ es un prefiltro pero no un filtro, entonces ${\mathcal {B}}\leq {\mathcal {B}}^{\uparrow X}{\text{ y }}{\mathcal {B}}^{\uparrow X}\leq {\mathcal {B}}{\text{but }}{\mathcal {B}}\neq {\mathcal {B}}^{\uparrow X}.$

# Filtro (teoría de conjuntos)
## Filtros y prefiltros
### Más fino/más grueso, subordinación y coincidencia
#### Familias equivalentes de conjuntos

El preorden $\,\leq \,$ induce su relación de equivalencia canónica en $\wp (\wp (X)),$ donde para todo ${\mathcal {B}},{\mathcal {C}}\in \wp (\wp (X)),$ ${\mathcal {B}}$ es equivalente a ${\mathcal {C}}$ si se cumple alguna de las siguientes condiciones equivalentes:
* ${\mathcal {C}}\leq {\mathcal {B}}{\text{ y }}{\mathcal {B}}\leq {\mathcal {C}}.$
* Los cierres hacia arriba de ${\mathcal {C}}{\text{ y }}{\mathcal {B}}$ son iguales.
Dos subconjuntos cerrados hacia arriba (en $X$) de $\wp (X)$ son equivalentes si y solo si son iguales. Si ${\mathcal {B}}\subseteq \wp (X)$, entonces necesariamente $\varnothing \leq {\mathcal {B}}\leq \wp (X)$ y ${\mathcal {B}}$ es equivalente a ${\mathcal {B}}^{\uparrow X}.$ Cada clase de equivalencia distinta de $\{\varnothing \}$ contiene un representante único (es decir, un elemento de la clase de equivalencia) que está cerrado hacia arriba en $X.$.
Propiedades preservadas entre familias equivalentes
Sean ${\mathcal {B}},{\mathcal {C}}\in \wp (\wp (X))$ arbitrarios y ${\mathcal {F}}$ cualquier familia de conjuntos. Si ${\mathcal {B}}{\text{ y }}{\mathcal {C}}$ son equivalentes (lo que implica que $\ker {\mathcal {B}}=\ker {\mathcal {C}}$), entonces para cada una de las afirmaciones/propiedades enumeradas a continuación, o es verdadera para ambos ${\mathcal {B}}{\text{ y }}{\mathcal {C}}$ o es falsa para ambos ${\mathcal {B}}{\text{ y }}{\mathcal {C}}$:
* No vacío
* Propio (es decir, $\varnothing$ no es un elemento)
** Además, dos familias degeneradas cualesquiera son necesariamente equivalentes.
* Subbase de filtros
* Prefiltro
* Libre
* Principal
* Ultra
* Es igual al filtro trivial $\{X\}$
** En otras palabras, esto significa que el único subconjunto de $\wp (X)$ que es equivalente al filtro trivial es el filtro trivial. En general, esta conclusión de igualdad no se extiende a filtros no triviales (una excepción es cuando ambas familias son filtros).
* Concordancia con ${\mathcal {F}}$
* Es más fino que ${\mathcal {F}}$
* Es más grueso que ${\mathcal {F}}$
* Es equivalente a ${\mathcal {F}}$
En la lista anterior falta la palabra "filtro" porque esta propiedad no se conserva por equivalencia. Sin embargo, si ${\mathcal {B}}{\text{ y }}{\mathcal {C}}$ son filtros en $X,$ entonces son equivalentes si y solo si son iguales. Esta caracterización no se extiende a los prefiltros.
Equivalencia de prefiltros y subbases de filtros
Si ${\mathcal {B}}$ es un prefiltro en $X$, las siguientes familias siempre son equivalentes entre sí:
* ${\mathcal {B}}$.
* El sistema Π generado por ${\mathcal {B}}$.
* El filtro en $X$ generado por ${\mathcal {B}}$.
y además, estas tres familias generan el mismo filtro en $X$ (es decir, los cierres hacia arriba en $X$ de estas familias son iguales).
En particular, cada prefiltro es equivalente al filtro que genera. Por transitividad, dos prefiltros son equivalentes si y solo si generan el mismo filtro. Cada prefiltro equivale exactamente a un filtro en $X,$ que es el filtro que genera (es decir, el cierre hacia arriba del prefiltro). Dicho de otra manera, cada clase de equivalencia de prefiltros contiene exactamente un representante que es un filtro. De esta manera, los filtros pueden considerarse simplemente elementos diferenciados de estas clases de equivalencia de prefiltros.
Una subbase de filtros que no sea también un prefiltro puede no ser equivalente al prefiltro (o filtro) que genera. En cambio, cada prefiltro equivale al filtro que genera. Esta es la razón por la que los prefiltros pueden, en general, usarse indistintamente con los filtros que generan, mientras que las subbases de filtro no pueden utilizarse. Cada filtro es a la vez un sistema Π y un anillo de conjuntos.
Ejemplos de determinación de equivalencia/no equivalencia
Ejemplos: Sea $X=\mathbb {R}$ y $E$ el conjunto $\mathbb {Z}$ de los números enteros (o el conjunto $\mathbb {N}$). Entonces, se definen los conjuntos
    ${\mathcal {B}}=\{[e,\infty )~:~e\in E\}\qquad {\text{ y }}\qquad {\mathcal {C}}_{\operatorname {abierto} }=\{(-\infty ,e)\cup (1+e,\infty )~:~e\in E\}\qquad {\text{ y }}\qquad {\mathcal {C}}_{\operatorname {cerrado} }=\{(-\infty ,e]\cup [1+e,\infty )~:~e\in E\}.$
Los tres conjuntos son subbases de filtros, pero ninguno es un filtro en $X$ y solo ${\mathcal {B}}$ es prefiltro (de hecho, ${\mathcal {B}}$ es incluso libre y cerrado bajo intersecciones finitas). El conjunto ${\mathcal {C}}_{\operatorname {cerrado} }$ es fijo, mientras que ${\mathcal {C}}_{\operatorname {abierto} }$ es libre (a menos que $E=\mathbb {N}$). Satisfacen ${\mathcal {C}}_{\operatorname {cerrado} }\leq {\mathcal {C}}_{\operatorname {abierto} }\leq {\mathcal {B}},$ pero no hay dos de estas familias equivalentes. Además, no hay dos filtros generados por estas tres subbases de filtros que sean equivalentes/iguales. Se puede llegar a esta conclusión mostrando que los sistemas Π que generan no son equivalentes. A diferencia de ${\mathcal {C}}_{\operatorname {abierto} },$ cada conjunto en el sistema Π generado por ${\mathcal {C}}_{\operatorname {cerrado} }$ contiene a $\mathbb {Z}$ como un subconjunto, que es lo que impide que sus sistemas Π generados (y, por lo tanto, sus filtros generados) sean equivalentes. Si $E$ fuera $\mathbb {Q} {\text{ o }}\mathbb {R}$, entonces las tres familias serían libres y, aunque los conjuntos ${\mathcal {C}}_{\operatorname {cerrado} }{\text{ y }}{\mathcal {C}}_{\operatorname {abierto} }$ no seguirían siendo equivalentes entre sí, sus sistemas Π generados serían equivalentes y, en consecuencia, generarían el mismo filtro en $X$. Sin embargo, este filtro común seguiría siendo estrictamente más grueso que el filtro generado por ${\mathcal {B}}.$

# Filtro (teoría de conjuntos)
## Establecimiento de propiedades teóricas y construcciones
### Traza y concordancia

Si ${\mathcal {B}}$ es un prefiltro (respectivamente, filtro) en $X{\text{ y }}S\subseteq X$, entonces la traza de ${\mathcal {B}}{\text{ en }}S,$ que es la familia ${\mathcal {B}}{\big \vert }_{S}:={\mathcal {B}}(\cap )\{S\},$ es un prefiltro (respectivamente, un filtro) si y solo si se da la concordancia entre ${\mathcal {B}}{\text{ y }}S$ (es decir, $\varnothing \not \in {\mathcal {B}}(\cap )\{S\}$), en cuyo caso se dice que la traza ${\mathcal {B}}{\text{ sobre }}S$ es inducida por $S$. Si ${\mathcal {B}}$ es ultra y si ${\mathcal {B}}{\text{ y }}S$ son concordantes, entonces la traza ${\mathcal {B}}{\big \vert }_{S}$ es ultra. Si ${\mathcal {B}}$ es un ultrafiltro en $X$, entonces la traza de ${\mathcal {B}}{\text{ sobre }}S$ es un filtro en $S$ si y solo si $S\in {\mathcal {B}}.$
Por ejemplo, supóngase que ${\mathcal {B}}$ es un filtro en $X{\text{ y }}S\subseteq X$ y es tal que $S\neq X{\text{ y }}X\setminus S\not \in {\mathcal {B}}.$ Entonces, ${\mathcal {B}}{\text{ y }}S$ concuerdan y ${\mathcal {B}}\cup \{S\}$ genera un filtro en $X$ que es estrictamente más fino que ${\mathcal {B}}.$
Cuando los prefiltros concuerdan
Dadas dos familias no vacías ${\mathcal {B}}{\text{ y }}{\mathcal {C}},$ la familia
    ${\mathcal {B}}(\cap ){\mathcal {C}}:=\{B\cap C~:~B\in {\mathcal {B}}{\text{ y }}C\in {\mathcal {C}}\}$
satisface que ${\mathcal {C}}\leq {\mathcal {B}}(\cap ){\mathcal {C}}$ y ${\mathcal {B}}\leq {\mathcal {B}}(\cap ){\mathcal {C}}.$ Si ${\mathcal {B}}(\cap ){\mathcal {C}}$ es propio (respectivamente, un prefiltro, una subbase de filtros), entonces esto también es cierto tanto para ${\mathcal {B}}{\text{ y }}{\mathcal {C}}$ como para ${\mathcal {B}}(\cap ){\mathcal {C}}$. Para poder hacer deducciones significativas sobre ${\mathcal {B}}{\text{ y }}{\mathcal {C}},{\mathcal {B}}(\cap ){\mathcal {C}}$ a partir de $\varnothing \not \in {\mathcal {B}}(\cap ){\mathcal {C}},$ es necesario que sea propio (es decir, ${\mathcal {B}}(\cap ){\mathcal {C}}$, que es la motivación para la definición de "concordancia". En este caso, ${\mathcal {B}}{\text{ y }}{\mathcal {C}}$ son prefiltros (o subbases de filtros) si y solo si esto es cierto para ${\mathcal {B}}{\text{ y para }}{\mathcal {C}}$. Dicho de otra manera, si ${\mathcal {B}}(\cap ){\mathcal {C}}$ son prefiltros, entonces concuerdan si y solo si $\,\leq \,$ es un prefiltro. La generalización da una caracterización bien conocida de "concordancia" enteramente en términos de subordinación (es decir, $\,\leq \,$)
    Dos prefiltros ${\mathcal {B}}{\text{ y }}{\mathcal {C}}$ (respectivamente, subbases de filtros) concuerdan si y solo si existe un prefiltro ${\mathcal {F}}$ (respectivamente, subbase de filtros) tal que ${\mathcal {C}}\leq {\mathcal {F}}$ y ${\mathcal {B}}\leq {\mathcal {F}}$.
Si el límite superior mínimo de dos filtros $\operatorname {Filtros} (X)$ existe en los $\operatorname {Filtros} (X)$, entonces este límite superior mínimo es igual a ${\mathcal {B}}(\cap ){\mathcal {C}}$.

# Filtro (teoría de conjuntos)
## Establecimiento de propiedades teóricas y construcciones
### Imágenes y preimágenes bajo funciones

En todo momento, $f:X\to Y{\text{and }}g:Y\to Z$ serán aplicaciones entre conjuntos no vacíos.
Imágenes de prefiltros
Sea ${\mathcal {B}}\subseteq \wp (Y).$ Muchas de las propiedades que ${\mathcal {B}}$ pueda tener se conservan bajo imágenes de aplicaciones. Las excepciones más notables incluyen estar cerrado hacia arriba, estar cerrado bajo intersecciones finitas y ser un filtro, que no necesariamente se conservan.
Explícitamente, si una de las siguientes propiedades es cierta para ${\mathcal {B}}{\text{ sobre }}Y,$ entonces necesariamente también será cierta para $g({\mathcal {B}}){\text{ sobre }}g(Y)$ (aunque posiblemente no en el codominio $Z$, a menos que $g$ sea sobreyectiva):
* Propiedades de filtros: ultra, ultrafiltro, filtro, prefiltro, subbase de filtros, ideal dual, cerrado hacia arriba, propio/no degenerado.
* Propiedades de ideales: ideal, cerrado bajo uniones finitas, cerrado hacia abajo, dirigido hacia arriba.
Además, si ${\mathcal {B}}\subseteq \wp (Y)$ es un prefiltro, también lo son ambos $g({\mathcal {B}}){\text{ y }}g^{-1}(g({\mathcal {B}})).$. La imagen bajo una aplicación $f:X\to Y$ de un conjunto ultra ${\mathcal {B}}\subseteq \wp (X)$ es nuevamente ultra y si ${\mathcal {B}}$ es un ultra prefiltro, entonces también lo es $f({\mathcal {B}}).$
Si ${\mathcal {B}}$ es un filtro, entonces $g({\mathcal {B}})$ es un filtro en el rango $g(Y),$ pero es un filtro en el codominio $Z$ si y solo si $g$ es sobreyectiva. De lo contrario, es solo un prefiltro en $Z$ y su cierre hacia arriba debe tomarse en $Z$ para obtener un filtro. El cierre hacia arriba de $g({\mathcal {B}}){\text{ en }}Z$ es
    $g({\mathcal {B}})^{\uparrow Z}=\left\{S\subseteq Z~:~B\subseteq g^{-1}(S){\text{for some }}B\in {\mathcal {B}}\right\}$
donde si ${\mathcal {B}}$ está cerrado hacia arriba en $Y$ (es decir, es un filtro), esto se simplifica a:
    $g({\mathcal {B}})^{\uparrow Z}=\left\{S\subseteq Z~:~g^{-1}(S)\in {\mathcal {B}}\right\}.$
Si $X\subseteq Y$, entonces tomar $g$ como la aplicación de inclusión, $X\to Y$ muestra que cualquier prefiltro (respectivamente, ultra prefiltro, subbase de filtros) en $X$ también es un prefiltro (respectivamente, ultra prefiltro, subbase de filtros) en $Y.$
Preimágenes de prefiltros
Sea ${\mathcal {B}}\subseteq \wp (Y).$ Bajo el supuesto de que $f:X\to Y$ es sobreyectiva:
$f^{-1}({\mathcal {B}})$ es un prefiltro (respectivamente, subbase de filtro, sistema Π, cerrado bajo uniones finitas, propio) si y solo si esto es cierto para ${\mathcal {B}}.$
Sin embargo, si ${\mathcal {B}}$ es un ultrafiltro en $Y$, incluso si $f$ es sobreyectivo (lo que convertiría a $f^{-1}({\mathcal {B}})$ en un prefiltro), aún es posible que el prefiltro $f^{-1}({\mathcal {B}})$ no sea ni ultra ni un filtro en $X$  (consúltese esta nota al pie de página para ver un ejemplo).
Si $f:X\to Y$ no es sobreyectiva, entonces denótese la traza de ${\mathcal {B}}{\text{ sobre }}f(X)$ por ${\mathcal {B}}{\big \vert }_{f(X)},$ donde en este caso particular la traza satisface:
    ${\mathcal {B}}{\big \vert }_{f(X)}=f\left(f^{-1}({\mathcal {B}})\right)$
y en consecuencia, también:
    $f^{-1}({\mathcal {B}})=f^{-1}\left({\mathcal {B}}{\big \vert }_{f(X)}\right).$
Esta última igualdad y el hecho de que la traza ${\mathcal {B}}{\big \vert }_{f(X)}$ sea una familia de conjuntos sobre $f(X)$ significa que para sacar conclusiones sobre $f^{-1}({\mathcal {B}}),$ se puede utilizar la traza ${\mathcal {B}}{\big \vert }_{f(X)}$ en lugar de ${\mathcal {B}}$ y la sobreyección $f:X\to f(X)$ se puede utilizar en lugar de $f:X\to Y.$ Por ejemplo:
$f^{-1}({\mathcal {B}})$ es un prefiltro (respectivamente, subbase de filtros, sistema Π, propio) si y solo si esto es cierto para ${\mathcal {B}}{\big \vert }_{f(X)}.$
De esta manera, el caso en el que $f$ no es (necesariamente) sobreyectivo se puede reducir al caso de una función sobreyectiva (que es un caso que se describió al comienzo de esta subsección).
Incluso si ${\mathcal {B}}$ es un ultrafiltro en $Y,$ si $f$ no es sobreyectiva, es posible que $\varnothing \in {\mathcal {B}}{\big \vert }_{f(X)},$ también degenere. La siguiente caracterización muestra que la degeneración es el único obstáculo. Si $f^{-1}({\mathcal {B}})$ es un prefiltro, entonces lo siguiente es equivalente:${\mathcal {B}}$
* $f^{-1}({\mathcal {B}})$ es un prefiltro.
* ${\mathcal {B}}{\big \vert }_{f(X)}$ es un prefiltro.
* $\varnothing \not \in {\mathcal {B}}{\big \vert }_{f(X)}$.
* ${\mathcal {B}}$ se entrelaza con $f(X)$.
y además, si $f^{-1}({\mathcal {B}})$ es un prefiltro, entonces también lo es $f\left(f^{-1}({\mathcal {B}})\right).$
Si $S\subseteq Y$ y $\operatorname {In} :S\to Y$ denotan la aplicación de inclusión, entonces la traza de ${\mathcal {B}}{\text{ sobre }}S$ es igual a $\operatorname {In} ^{-1}({\mathcal {B}}).$. Esta observación permite que los resultados de esta subsección se apliquen a la investigación de la traza en un conjunto.
Biyecciones, inyecciones y sobreyecciones
Todas las propiedades que involucran filtros se conservan bajo biyecciones. Esto significa que si ${\mathcal {B}}\subseteq \wp (Y){\text{ y }}g:Y\to Z$ es una biyección, entonces ${\mathcal {B}}$ es un prefiltro (respectivamente, ultra, ultra prefiltro, filtro en $X,$ ultrafiltro en la subbase de filtros $X,$ sistema Π, ideal en $X,$ etc.) si y solo si lo mismo es cierto para $g({\mathcal {B}}){\text{ sobre }}Z.$
Una aplicación $g:Y\to Z$ es inyectiva si y solo si para todos los prefiltros ${\mathcal {B}}{\text{ sobre }}Y,{\mathcal {B}}$ es equivalente a $g^{-1}(g({\mathcal {B}})).$ La imagen de una familia de conjuntos ultra bajo una inyección es nuevamente ultra.
La aplicación $f:X\to Y$ es una sobreyección si y solo si siempre que ${\mathcal {B}}$ sea un prefiltro en $Y$, lo mismo ocurre con $f^{-1}({\mathcal {B}}){\text{ sobre }}X$ (este resultado no requiere el lema del ultrafiltro).

# Filtro (teoría de conjuntos)
## Establecimiento de propiedades teóricas y construcciones
### Imágenes y preimágenes bajo funciones
#### La subordinación se preserva mediante imágenes y preimágenes

La relación $\,\leq \,$ se conserva tanto en imágenes como en preimágenes de familias de conjuntos. Esto significa que para cualquier familia ${\mathcal {C}}{\text{ y }}{\mathcal {F}},$
    ${\mathcal {C}}\leq {\mathcal {F}}\quad {\text{implies }}\quad g({\mathcal {C}})\leq g({\mathcal {F}})\quad {\text{ y }}\quad f^{-1}({\mathcal {C}})\leq f^{-1}({\mathcal {F}}).$
Además, las siguientes relaciones siempre son válidas para cualquier familia de conjuntos ${\mathcal {C}}$:
    ${\mathcal {C}}\leq f\left(f^{-1}({\mathcal {C}})\right)$
donde la igualdad se mantendrá si $f$ es sobreyectiva. Además,
    $f^{-1}({\mathcal {C}})=f^{-1}\left(f\left(f^{-1}({\mathcal {C}})\right)\right)\quad {\text{ y }}\quad g({\mathcal {C}})=g\left(g^{-1}(g({\mathcal {C}}))\right).$
Si ${\mathcal {B}}\subseteq \wp (X){\text{ y }}{\mathcal {C}}\subseteq \wp (Y)$, entonces
    $f({\mathcal {B}})\leq {\mathcal {C}}\quad {\text{ si y solo si }}\quad {\mathcal {B}}\leq f^{-1}({\mathcal {C}})$
y $g^{-1}(g({\mathcal {C}}))\leq {\mathcal {C}}$, donde se mantendrá la igualdad si $g$ es inyectivo.

# Filtro (teoría de conjuntos)
## Establecimiento de propiedades teóricas y construcciones
### Productos de prefiltros

Supóngase que $X_{\bullet }=\left(X_{i}\right)_{i\in I}$ es una familia de uno o más conjuntos no vacíos, cuyo producto se denotará por $\prod X_{\bullet }:=\prod _{i\in I}X_{i},$ y para cada índice $i\in I,$ sea
    $\Pr_{X_{i}}:\prod X_{\bullet }\to X_{i}$
denota la proyección canónica. Sean ${\mathcal {B}}_{\bullet }:=\left({\mathcal {B}}_{i}\right)_{i\in I}$ familias no vacías, también indexadas por $I,$ de modo que ${\mathcal {B}}_{i}\subseteq \wp \left(X_{i}\right)$ para cada $i\in I.$ El producto de las familias ${\mathcal {B}}_{\bullet }$ se define de manera idéntica a cómo se definen los subconjuntos abiertos básicos de la topología producto (si todos estos ${\mathcal {B}}_{i}$ hubieran sido topologías). Es decir, las notaciones
    $\prod _{\mathcal {B}}_{\bullet }=\prod _{i\in I}{\mathcal {B}}_{i}$
denotan la familia de todos los subconjuntos de cilindros $\prod _{i\in I}S_{i}\subseteq \prod _X_{\bullet }$ tal que $S_{i}=X_{i}$ para todos menos un número finito de $i\in I$ y donde $S_{i}\in {\mathcal {B}}_{i}$ para cualquiera de estas excepciones finitas (es decir, para cualquier $i$ tal que $S_{i}\neq X_{i},$ necesariamente $S_{i}\in {\mathcal {B}}_{i}$). Cuando cada ${\mathcal {B}}_{i}$ es una subbase de filtros, entonces la familia $\bigcup _{i\in I}\Pr_{X_{i}}^{-1}\left({\mathcal {B}}_{i}\right)$ es una subbase de filtros para el filtro en $\prod X_{\bullet }$ generado por ${\mathcal {B}}_{\bullet }.$ Si $\prod {\mathcal {B}}_{\bullet }$ es una subbase de filtros, entonces el filtro en $\prod X_{\bullet }$ que genera se denomina filtro generado por ${\mathcal {B}}_{\bullet }$. Si cada ${\mathcal {B}}_{i}$ es un prefiltro en $X_{i}$, entonces $\prod {\mathcal {B}}_{\bullet }$ será un prefiltro en $\prod X_{\bullet }$ y, además, este prefiltro es igual al prefiltro más grueso ${\mathcal {F}}{\text{ sobre }}\prod X_{\bullet }$, de modo que $\Pr_{X_{i}}({\mathcal {F}})={\mathcal {B}}_{i}$ por cada $i\in I.$ Sin embargo, es posible que $\prod {\mathcal {B}}_{\bullet }$ no sea un filtro en $\prod X_{\bullet }$ incluso si cada ${\mathcal {B}}_{i}$ es un filtro en $X_{i}.$

# Filtro (teoría de conjuntos)
## Establecimiento de propiedades teóricas y construcciones
### Conjunto resta y algunos ejemplos

Conjunto restando un subconjunto del núcleo
Si ${\mathcal {B}}$ es un prefiltro en $X,S\subseteq \ker {\mathcal {B}},{\text{ y }}S\not \in {\mathcal {B}}$, entonces $\{B\setminus S~:~B\in {\mathcal {B}}\}$ es un prefiltro, donde este último conjunto es un filtro si y solo si ${\mathcal {B}}$ es un filtro y $S=\varnothing .$ En particular, si ${\mathcal {B}}$ es una base de entornos en un punto $x$ en un espacio topológico que tiene $X$ al menos dos puntos, entonces $\{B\setminus \{x\}~:~B\in {\mathcal {B}}\}$ es un prefiltro en $X.$ Esta construcción se utiliza para definir $\lim _{\stackrel {x\to x_{0}}{x\neq x_{0}}}f(x)\to y$ en términos de convergencia de prefiltros.
Usar la dualidad entre ideales e ideales duales
Existe una relación dual ${\mathcal {B}}\vartriangleleft {\mathcal {C}}$ o ${\mathcal {C}}\vartriangleright {\mathcal {B}},$ que se define para significar que cada $B\in {\mathcal {B}}$ está contenido en algún $C\in {\mathcal {C}}.$ Explícitamente, esto significa que para cada $B\in {\mathcal {B}}$, hay algún $C\in {\mathcal {C}}$ tal que $B\subseteq C.$ Esta relación es dual con $\,\leq \,$ en sentido que ${\mathcal {B}}\vartriangleleft {\mathcal {C}}$ si y solo si $(X\setminus {\mathcal {B}})\leq (X\setminus {\mathcal {C}}).$ La relación ${\mathcal {B}}\vartriangleleft {\mathcal {C}}$ está estrechamente relacionada con el cierre hacia abajo de una familia de una manera similar a como $\,\leq \,$ se relaciona con la familia de cierre hacia arriba.
Para ver un ejemplo que utiliza esta dualidad, supóngase que $f:X\to Y$ es una aplicación y $\Xi \subseteq \wp (Y).$ Defínase ahora
    $\Xi _{f}:=\{I\subseteq X~:~f(I)\in \Xi \}$
que contiene el conjunto vacío si y solo si $\Xi$ lo contiene. Es posible que $\Xi$ sea un ultrafiltro y que $\Xi _{f}$ esté vacío o no cerrado bajo intersecciones finitas (véase nota al pie para un ejemplo). Aunque $\Xi _{f}$ no conserva muy bien las propiedades de los filtros, si $\Xi$ está cerrado hacia abajo (o cerrado bajo uniones finitas, un ideal), entonces esto también será cierto para $\Xi _{f}.$ El uso de la dualidad entre ideales e ideales duales permite una construcción del siguiente filtro:
Supóngase que ${\mathcal {B}}$ es un filtro en $Y$ y sea $\Xi :=Y\setminus {\mathcal {B}}$ su dual en $Y.$ Si $X\not \in \Xi _{f}$, entonces el $\Xi _{f}$ dual de $X\setminus \Xi _{f}$ será un filtro.
Otros ejemplos
Ejemplo: El conjunto ${\mathcal {B}}$ de todos los subconjuntos abiertos densos de un espacio topológico es un sistema Π propio y un prefiltro. Si el espacio es un espacio de Baire, entonces el conjunto de todas las intersecciones numerables de subconjuntos abiertos densos es un sistema Π y un prefiltro que es más fino que ${\mathcal {B}}.$
Ejemplo: La familia ${\mathcal {B}}_{\operatorname {Open} }$ de todos los conjuntos abiertos densos de $X=\mathbb {R}$ que tienen medida de Lebesgue finita es un sistema Π propio y un prefiltro libre. El prefiltro ${\mathcal {B}}_{\operatorname {Open} }$ está correctamente contenido en el prefiltro que consta de todos los subconjuntos abiertos densos de $\mathbb {R}$, y no es equivalente a él. Dado que $X$ es un espacio de Baire, cada intersección numerable de conjuntos en ${\mathcal {B}}_{\operatorname {Open} }$ es densa en $X$ (y también coexigua y no exigua), por lo que el conjunto de todas las intersecciones numerables de elementos de ${\mathcal {B}}_{\operatorname {Open} }$ es un prefiltro y un sistema Π, que también es más fino que ${\mathcal {B}}_{\operatorname {Abierto} }.$ y no es equivalente a él.

# Filtro (teoría de conjuntos)
## Filtros y redes

Esta sección describirá las relaciones entre prefiltros y redes con gran detalle debido a lo importantes que son estos detalles al aplicar filtros a la topología, particularmente al cambiar de utilizar redes a utilizar filtros y viceversa, y porque facilita la comprensión posterior de por qué las subredes (con sus definiciones más utilizadas) generalmente no son equivalentes a los "subprefiltros".

# Filtro (teoría de conjuntos)
## Filtros y redes
### Redes para prefiltros

Una red $x_{\bullet }=\left(x_{i}\right)_{i\in I}{\text{ en }}X$ está asociada canónicamente con su prefiltro de colas $\operatorname {Colas} \left(x_{\bullet }\right).$ Si $f:X\to Y$ es una aplicación y $x_{\bullet }$ es una red en $X$, entonces $\operatorname {Colas} \left(f\left(x_{\bullet }\right)\right)=f\left(\operatorname {Colas} \left(x_{\bullet }\right)\right).$

# Filtro (teoría de conjuntos)
## Filtros y redes
### Prefiltros para redes

Un conjunto puntuado es un par $(S,s)$ que consta de un conjunto $S$ no vacío y de un elemento $s\in S.$ Para cualquier familia ${\mathcal {B}},$ sea
    $\operatorname {ConjuntosPunteados} ({\mathcal {B}}):=\left\{(B,b)~:~B\in {\mathcal {B}}{\text{ y }}b\in B\right\}.$
Defínase un preorden $\,\leq \,$ canónico en conjuntos puntiagudos, declarando
    $(R,r)\leq (S,s)\quad {\text{ si y solo si }}\quad R\supseteq S.$
Si $s_{0},s_{1}\in S{\text{ entonces }}\left(S,s_{0}\right)\leq \left(S,s_{1}\right){\text{ y }}\left(S,s_{1}\right)\leq \left(S,s_{0}\right)$, incluso si $s_{0}\neq s_{1},$ entonces este preorden no es antisimétrico, y dada cualquier familia de conjuntos ${\mathcal {B}},$ $(\operatorname {ConjuntosPunteados} ({\mathcal {B}}),\leq )$ es parcialmente ordenada si y solo si ${\mathcal {B}}\neq \varnothing$ consta completamente de conjuntos unitarios. Si $\{x\}\in {\mathcal {B}}{\text{ entonces }}(\{x\},x)$ es un elemento máximo de $\operatorname {ConjuntosPunteados} ({\mathcal {B}})$. Además, todos los elementos máximos tienen esta forma. Si $\left(B,b_{0}\right)\in \operatorname {ConjuntosPunteados} ({\mathcal {B}}){\text{ entonces }}\left(B,b_{0}\right)$ es el elemento más grande si y solo si $B=\ker {\mathcal {B}},$ en cuyo caso $\{(B,b)~:~b\in B\}$ es el conjunto de todos los elementos mayores. Sin embargo, un elemento mayor $(B,b)$ es un elemento máximo si y solo si $B=\{b\}=\ker {\mathcal {B}},$ por lo que hay como máximo un elemento que es a la vez máximo y mayor. Existe una aplicación canónica $\operatorname {Point} _{\mathcal {B}}~:~\operatorname {ConjuntosPunteados} ({\mathcal {B}})\to X$ definido por $(B,b)\mapsto b.$
   $i_{0}=\left(B_{0},b_{0}\right)\in \operatorname {ConjuntosPunteados} ({\mathcal {B}})$
   $\operatorname {Punto} _{\mathcal {B}}$
   $i_{0}$
   $\left\{c~:~(C,c)\in \operatorname {ConjuntosPunteados} ({\mathcal {B}}){\text{ y }}\left(B_{0},b_{0}\right)\leq (C,c)\right\}=B_{0}.$
Aunque $(\operatorname {ConjuntosPunteados} ({\mathcal {B}}),\leq )$ no es, en general, un conjunto parcialmente ordenado, es un conjunto dirigido si (y solo si) ${\mathcal {B}}$ es un prefiltro. Entonces, la opción más inmediata para la definición de "la red en $X$ inducida por un prefiltro ${\mathcal {B}}$" es la asignación $(B,b)\mapsto b$ de $\operatorname {ConjuntosPunteados} ({\mathcal {B}})$ a $X.$
   ${\mathcal {B}}$
   $X$
       ${\begin{alignedat}{4}\operatorname {Red} _{\mathcal {B}}:\;&&(\operatorname {ConjuntosPunteados} ({\mathcal {B}}),\leq )&&\,\to \;&X\\&&(B,b)&&\,\mapsto \;&b\\\end{alignedat}}$
   $\operatorname {Red} _{\mathcal {B}}(B,b):=b.$
Si ${\mathcal {B}}$ es un prefiltro en $X{\text{ entonces }}\operatorname {Red} _{\mathcal {B}}$ es una red en $X$ y el prefiltro asociado con $\operatorname {Red} _{\mathcal {B}}$ es ${\mathcal {B}}$; es decir:
    $\operatorname {Colas} \left(\operatorname {Red} _{\mathcal {B}}\right)={\mathcal {B}}.$
Esto no sería necesariamente cierto si $\operatorname {Red} _{\mathcal {B}}$ se hubiera definido en un subconjunto propio de $\operatorname {ConjuntosPunteados} ({\mathcal {B}}).$ Por ejemplo, supongamos que $X$ tiene al menos dos elementos distintos, ${\mathcal {B}}:=\{X\}$ es el filtro indiscreto y $x\in X$ es arbitrario. Si $\operatorname {Red} _{\mathcal {B}}$ se hubiera definido en el conjunto unitario $D:=\{(X,x)\},$ donde la restricción de $\operatorname {Red} _{\mathcal {B}}$ a $D$ se denotará temporalmente por $\operatorname {Red} _{D}:D\to X,$ entonces el prefiltro de colas asociado con $\operatorname {Red} _{D}:D\to X$ sería el prefiltro principal $\{\,\{x\}\,\}$ en lugar del filtro original ${\mathcal {B}}=\{X\}$; esto significa que la igualdad $\operatorname {Colas} \left(\operatorname {Red} _{D}\right)={\mathcal {B}}$ es falsa, por lo que, a diferencia de $\operatorname {Red} _{\mathcal {B}},$ el prefiltro ${\mathcal {B}}$ no se puede recuperar de $\operatorname {Red} _{D}.$ Peor aún, mientras ${\mathcal {B}}$ es el único filtro mínimo en $X,$ el prefiltro $\operatorname {Colas} \left(\operatorname {Red} _{D}\right)=\{\{x\}\}$ genera en cambio un filtro máximo (es decir, un ultrafiltro) en $X.$
Sin embargo, si $x_{\bullet }=\left(x_{i}\right)_{i\in I}$ es una red en $X$ entonces en general No es cierto que $\operatorname {Red} _{\operatorname {Colas} \left(x_{\bullet }\right)}$ es igual a $x_{\bullet }$ porque, por ejemplo, el dominio de $x_{\bullet }$ puede tener una cardinalidad completamente diferente a la de $\operatorname {Red} _{\operatorname {Colas} \left(x_{\bullet }\right)}$ (ya que, a diferencia del dominio de $\operatorname {Red} _{\operatorname {Colas} \left(x_{\bullet }\right)},$ el dominio de una red arbitraria en $X$ puede tener cualquier cardinalidad).
Ultraredes y ultra prefiltros
Una red $x_{\bullet }{\text{ en }}X$ se llama ultrared o red universal en $X$ si para cada subconjunto $S\subseteq X,x_{\bullet }$ es finalmente en $S$ o finalmente está en $X\setminus S.$ Esto sucede si y solo si $\operatorname {Colas} \left(x_{\bullet }\right)$ es un ultra prefiltro. Un prefiltro ${\mathcal {B}}{\text{ sobre }}X$ es un ultra prefiltro si y solo si $\operatorname {Red} _{\mathcal {B}}$ es una ultrared en $X.$

# Filtro (teoría de conjuntos)
## Filtros y redes
### Prefiltros para redes
#### Red parcialmente ordenada

El dominio de la red canónica $\operatorname {Red} _{\mathcal {B}}$ en general no está parcialmente ordenado. Sin embargo, en 1955 Bruns y Schmidt descubrieron una construcción que permite que la red canónica tenga un dominio parcialmente ordenado y dirigido; esto fue redescubierto de forma independiente por Albert Wilansky en 1970. Comienza con la construcción de un conjunto parcialmente ordenado (lo que significa una relación transitiva y reflexiva) $\,<\,$ en un subconjunto de ${\mathcal {B}}\times \mathbb {N} \times X$ que es similar al orden lexicográfico en ${\mathcal {B}}\times \mathbb {N}$ de los órdenes parciales estrictos $({\mathcal {B}},\supsetneq ){\text{ y }}(\mathbb {N} ,<).$ Para cualquier $i=(B,m,b){\text{ y }}j=(C,n,c)$ en ${\mathcal {B}}\times \mathbb {N} \times X,$ considérese que $i<j$ si y solo si
    $B\supseteq C{\text{and either: }}{\text{(1) }}B\neq C{\text{or else (2) }}B=C{\text{ y }}m<n,$
o equivalentemente, si y solo si ${\text{(1) }}B\supseteq C,{\text{and (2) if }}B=C{\text{ entonces }}m<n.$
El orden parcial no estricto asociado con $\,<,$ denotado por $\,\leq ,$ se define declarando que $i\leq j\,{\text{ si y solo si }}i<j{\text{ o }}i=j.$ Desarrollando estas definiciones, se obtiene la siguiente caracterización:
   $i\leq j$
   ${\text{(1) }}B\supseteq C,{\text{ y (2) si }}B=C{\text{ entonces }}m\leq n,$
   ${\text{(3) si }}B=C{\text{ y }}m=n{\text{ entonces }}b=c,$
lo que muestra que $\,\leq \,$ es solo un orden lexicográfico en ${\mathcal {B}}\times \mathbb {N} \times X$ inducido por $({\mathcal {B}},\supseteq ),\,(\mathbb {N} ,\leq ),{\text{ y }}(X,=),$ donde $X$ está parcialmente ordenado por la igualdad $\,=.\,$ Ambos $\,<{\text{ y }}\leq \,$ son seriales y ninguna posee un elemento más grande o un elemento máximo; esto sigue siendo cierto si cada uno de ellos está restringido al subconjunto de ${\mathcal {B}}\times \mathbb {N} \times X$ definido por
    ${\begin{alignedat}{4}\operatorname {Poset} _{\mathcal {B}}\;&:=\;\{\,(B,m,b)\;\in \;{\mathcal {B}}\times \mathbb {N} \times X~:~b\in B\,\},\\\end{alignedat}}$
donde en adelante se supondrá que están. Denótese la asignación $i=(B,m,b)\mapsto b$ de este subconjunto por:
    ${\begin{alignedat}{4}\operatorname {PosetNet} _{\mathcal {B}}\ :\ &&\ \operatorname {Poset} _{\mathcal {B}}\ &&\,\to \;&X\\[0.5ex]&&\ (B,m,b)\ &&\,\mapsto \;&b\\[0.5ex]\end{alignedat}}$
Si $i_{0}=\left(B_{0},m_{0},b_{0}\right)\in \operatorname {Poset} _{\mathcal {B}}$, al igual que con $\operatorname {Red} _{\mathcal {B}}$ antes, la cola de $\operatorname {PosetNet} _{\mathcal {B}}$ que comienza en $i_{0}$ es igual a $B_{0}.$ Si ${\mathcal {B}}$ es un prefiltro en $X$, entonces $\operatorname {PosetNet} _{\mathcal {B}}$ es una red en $X$ cuyo dominio $\operatorname {Poset} _{\mathcal {B}}$ es un conjunto parcialmente ordenado y además, $\operatorname {Colas} \left(\operatorname {PosetRed} _{\mathcal {B}}\right)={\mathcal {B}}.$ Debido a que las colas de $\operatorname {PosetRed} _{\mathcal {B}}{\text{ y }}\operatorname {Red} _{\mathcal {B}}$ son idénticas (ya que ambas son iguales al prefiltro ${\mathcal {B}}$), normalmente no se pierde nada al suponer que el dominio de la red asociado con un prefiltro es dirigido y parcialmente ordenado. Si el conjunto $\mathbb {N}$ se reemplaza con números racionales positivos, entonces el orden parcial estricto $<$ también será un orden denso.

# Filtro (teoría de conjuntos)
## Filtros y redes
### Filtros subordinados y subredes

La noción de "${\mathcal {B}}$ está subordinada a ${\mathcal {C}}$" (escrito ${\mathcal {B}}\vdash {\mathcal {C}}$) es para filtros y prefiltros lo que "$x_{n_{\bullet }}=\left(x_{n_{i}}\right)_{i=1}^{\infty }$ es una subsecuencia de $x_{\bullet }=\left(x_{i}\right)_{i=1}^{\infty }$" para secuencias. Por ejemplo, si $\operatorname {Colas} \left(x_{\bullet }\right)=\left\{x_{\geq i}:i\in \mathbb {N} \right\}$ denota el conjunto de colas de $x_{\bullet }$ y si $\operatorname {Colas} \left(x_{n_{\bullet }}\right)=\left\{x_{n_{\geq i}}:i\in \mathbb {N} \right\}$ denota el conjunto de colas de la subsecuencia $x_{n_{\bullet }}$ (donde $x_{n_{\geq i}}:=\left\{x_{n_{i}}~:~i\in \mathbb {N} \right\}$), entonces $\operatorname {Colas} \left(x_{n_{\bullet }}\right)~\vdash ~\operatorname {Colas} \left(x_{\bullet }\right)$ (es decir, $\operatorname {Colas} \left(x_{\bullet }\right)\leq \operatorname {Colas} \left(x_{n_{\bullet }}\right)$) es verdadero, pero $\operatorname {Colas} \left(x_{\bullet }\right)~\vdash ~\operatorname {Colas} \left(x_{n_{\bullet }}\right)$ es en general falso.

# Filtro (teoría de conjuntos)
## Filtros y redes
### Filtros subordinados y subredes
#### No equivalencia de subredes y filtros subordinados

Un subconjunto $R\subseteq I$ de un espacio preordenado $(I,\leq )$ es frecuente o cofinal en $I$ si para cada $i\in I$ existe algún $r\in R{\text{ tal que }}i\leq r.$ Si $R\subseteq I$ contiene una cola de $I$, entonces se dice que $R$ está finalmente en $I$}}; explícitamente, esto significa que existe algún $i\in I{\text{ tal que }}I_{\geq i}\subseteq R$ (es decir, $j\in R{\text{ para todo }}j\in I{\text{ satisfaciendo }}i\leq j$). Un conjunto final no necesariamente está vacío. Un subconjunto es final si y solo si su complemento no es frecuente (lo que se denomina infrecuente. ) Una aplicación $h:A\to I$ entre dos conjuntos reservados se dice que preserva el orden si siempre que $a,b\in A{\text{ satisface }}a\leq b,{\text{ entonces }}h(a)\leq h(b).$
Las subredes en el sentido de Willard y las subredes en el sentido de Kelley son las definiciones más utilizadas de "subred". La primera definición de subred fue introducida por John L. Kelley en 1955. Stephen Willard introdujo su propia variante de la definición de subred de Kelley en 1970. Las subredes AA fueron introducidas de forma independiente por Smiley (1957), Aarnes y Andenaes (1972) y Murdeshwar (1983); Aarnes y Andenaes estudiaron con gran detalle las subredes AA, pero no se utilizan con frecuencia.
   $S=S_{\bullet }~:~(A,\leq )\to X{\text{ y }}N=N_{\bullet }~:~(I,\leq )\to X$
   * $S_{\bullet }$ es una subred de Willard de $N_{\bullet }$ o una subred en el sentido de Willard si existe una aplicación $h:A\to I$ que preserva el orden tal que $S=N\circ h{\text{ y }}h(A)$ sea cofinal en $I.$
   * $S_{\bullet }$ es una subred de Kelley de $N_{\bullet }$ o una subred en el sentido de Kelley si existe una aplicación $h~:~A\to I{\text{ tal que }}S=N\circ h$ y siempre que $E\subseteq I$ esté finalmente en $I$, entonces $h^{-1}(E)$ finalmente estará en $A.$
   * $S_{\bullet }$ es una subred AA de $N_{\bullet }$ o una subred en el sentido de Aarnes y Andenaes si se cumple alguna de las siguientes condiciones equivalentes:
   ** $\operatorname {Colas} \left(N_{\bullet }\right)\leq \operatorname {Colas} \left(S_{\bullet }\right).$
   ** $\operatorname {Filtrodecolas} \left(N_{\bullet }\right)\subseteq \operatorname {Filtrodecolas} \left(S_{\bullet }\right).$
   ** Si $J$ está finalmente en $I{\text{ entonces }}S^{-1}(N(J))$ finalmente está en $A.$
   ** Para cualquier subconjunto de concordancia $R\subseteq X,{\text{ si }}\operatorname {Colas} \left(S_{\bullet }\right){\text{ y }}\{R\}$, también lo hace $\operatorname {Colas} \left(N_{\bullet }\right){\text{ y }}\{R\}.$
   ** Para cualquier subconjunto $R\subseteq X,{\text{ si }}\operatorname {Colas} \left(S_{\bullet }\right)\leq \{R\}{\text{ entonces }}\operatorname {Colas} \left(N_{\bullet }\right)\leq \{R\}.$
Kelley no requirió que la aplicación $h$ preservara el orden, mientras que la definición de una subred AA elimina por completo cualquier aplicación entre los dominios de las dos redes y en su lugar se centra completamente en $X$, el codominio común de las redes. Cada subred de Willard es una subred de Kelley y ambas son subredes AA. En particular, si $y_{\bullet }=\left(y_{a}\right)_{a\in A}$ es una subred de Willard o una subred de Kelley de $x_{\bullet }=\left(x_{i}\right)_{i\in I}$, entonces $\operatorname {Colas} \left(x_{\bullet }\right)\leq \operatorname {Colas} \left(y_{\bullet }\right).$
* Sea $I=\mathbb {N}$ y $x_{\bullet }$ sea una secuencia constante, póngase por caso $x_{\bullet }=\left(0\right)_{i\in \mathbb {N} }.$ Considérese que $s_{1}=0$ y $A=\{1\}$ de modo que $s_{\bullet }=\left(s_{a}\right)_{a\in A}=\left(s_{1}\right)$ sea una red en $A.$ Entonces, $s_{\bullet }$ es una subred AA de $x_{\bullet }$ porque $\operatorname {Colas} \left(x_{\bullet }\right)=\{\{0\}\}=\operatorname {Colas} \left(s_{\bullet }\right).$ Pero $s_{\bullet }$ no es una subred de Willard de $x_{\bullet }$ porque no existe ninguna aplicación $h:A\to I$ cuya imagen sea un subconjunto cofinal de $I=\mathbb {N} .$ Tampoco $s_{\bullet }$ es una subred de Kelley de $x_{\bullet }$, porque si $h:A\to I$ es cualquier aplicación, entonces $E:=I\setminus \{h(1)\}$ es un subconjunto cofinal de $I=\mathbb {N}$ pero $h^{-1}(E)=\varnothing$ finalmente no está en $A.$
Las subredes AA tienen una caracterización definitoria que muestra inmediatamente que son totalmente intercambiables con los filtros subordinados. Explícitamente, lo que se quiere decir es que la siguiente afirmación es cierta para las subredes AA:
Si ${\mathcal {B}}{\text{ y }}{\mathcal {F}}$ son prefiltros, entonces ${\mathcal {B}}\leq {\mathcal {F}}{\text{ si y solo si }}\operatorname {Red} _{\mathcal {F}}$ es una subred AA de $\;\operatorname {Red} _{\mathcal {B}}.$
Si "subred AA" se reemplaza por "subred de Willard" o por "subred de Kelley", la declaración anterior se convierte en falsa. En particular, el problema es que la siguiente afirmación es en general falsa:
Declaración falsa: si ${\mathcal {B}}{\text{ y }}{\mathcal {F}}$ son prefiltros de modo que ${\mathcal {B}}\leq {\mathcal {F}}{\text{ entonces }}\operatorname {Red} _{\mathcal {F}}$ será una subred de Kelley de $\;\operatorname {Red} _{\mathcal {B}}.$
Dado que cada subred de Willard es una subred de Kelley, esta afirmación sigue siendo falsa si la palabra "subred de Kelley" se reemplaza por "subred de Willard".
* Contraejemplo: Para todos los $n\in \mathbb {N} ,$ deje $B_{n}=\{1\}\cup \mathbb {N} _{\geq n},$ sea ${\mathcal {B}}=\{B_{n}~:~n\in \mathbb {N} \},$ que es un sistema Π propio, y sea ${\mathcal {F}}=\{\{1\}\}\cup {\mathcal {B}},$ donde ambas familias son prefiltros en los números naturales $X:=\mathbb {N} =\{1,2,\ldots \}.$ Dado que ${\mathcal {B}}\leq {\mathcal {F}},{\mathcal {F}}$ es a ${\mathcal {B}}$ como una subsecuencia es a una secuencia. Entonces, idealmente, $S=\operatorname {Red} _{\mathcal {F}}$ debería ser una subred de $B=\operatorname {Red} _{\mathcal {B}}.$ Sea $I:=\operatorname {ConjuntosPunteados} ({\mathcal {B}})$ el dominio de $\operatorname {Red} _{\mathcal {B}},$ por lo que $I$ contiene un subconjunto cofinal que es de orden isomorfo a $\mathbb {N}$ y, en consecuencia, no contiene ni un elemento máximo ni mayor. Sea $A:=\operatorname {ConjuntosPunteados} ({\mathcal {F}})=\{M\}\cup I,{\text{where }}M:=(1,\{1\})$ un elemento máximo y mayor de $A.$ El conjunto dirigido $A$ también contiene un subconjunto que es de orden isomorfo a $\mathbb {N}$ (porque contiene $I,$ que contiene dicho subconjunto), pero ningún subconjunto de ese tipo puede ser cofinal en $A$ debido al elemento máximo $M.$ En consecuencia, cualquier aplicación $h:A\to I$ que preserve el orden debe ser finalmente constante (con valor $h(M)$), donde $h(M)$ es entonces el elemento mayor del rango $h(A).$ Debido a esto, no puede haber una aplicación $h:A\to I$ que preserve el orden y que satisfaga las condiciones requeridas para que $\operatorname {Red} _{\mathcal {F}}$ sea una subred de Willard de $\operatorname {Red} _{\mathcal {B}}$ (porque el rango de dicha aplicación $h$ no puede ser cofinal en $I$). Supóngase, para buscar una contradicción, que existe una aplicación $h:A\to I$ tal que $h^{-1}\left(I_{\geq i}\right)$ está finalmente en $A$ para todo $i\in I.$ Dado que $h(M)\in I,$ existe $n,n_{0}\in \mathbb {N}$ tal que $h(M)=\left(n_{0},B_{n}\right){\text{ con }}n_{0}\in B_{n}.$ Para cada $i\in I,$ porque $h^{-1}\left(I_{\geq i}\right)$ finalmente está en $A,$ es necesario que $h(M)\in I_{\geq i}.$ En particular, si $i:=\left(n+2,B_{n+2}\right)$, entonces $h(M)\geq i=\left(n+2,B_{n+2}\right),$ que por definición es equivalente a $B_{n}\subseteq B_{n+2},$ lo que es falso. En consecuencia, $\operatorname {Red} _{\mathcal {F}}$ no es una subred de Kelley de $\operatorname {Red} _{\mathcal {B}}.$.
Si "subred" se define como subred de Willard o como subred de Kelley, entonces las redes y los filtros no son completamente intercambiables, porque existen relaciones filtro-filtro subordinado que no se pueden expresar en términos de una relación red-subred entre las dos redes inducidas. En particular, el problema es que las subredes de Kelley y de Willard no son completamente intercambiables con los filtros subordinados. Si no se utiliza la noción de "subred" o si "subred" se define como una subred AA, entonces esto deja de ser un problema y, por lo tanto, resulta correcto decir que las redes y los filtros son intercambiables. A pesar de que las subredes AA no tienen el problema que tienen las subredes de Willard y de Kelley, no se utilizan ni se conocen ampliamente.