Núcleo (teoría del orden)

---

En matemáticas, y especialmente en la teoría del orden , un núcleo es una función en una semirretícula tal que (para cada in ): ^[1]${\ estilo de visualización F}$ ${\displaystyle {\mathfrak{A}}}$${\ estilo de visualización p}$${\displaystyle {\mathfrak{A}}}$

Por lo general, el término núcleo se usa en la teoría de marcos y locales (cuando la semired es un marco).${\displaystyle {\mathfrak{A}}}$

Proposición: Si es un núcleo sobre un marco , entonces el conjunto de puntos fijos de , con orden heredado de , también es un marco. ^[2]${\ estilo de visualización F}$${\displaystyle {\mathfrak{A}}}$${\displaystyle \operatorname {Reparar} (F)}$${\ estilo de visualización F}$${\displaystyle {\mathfrak{A}}}$

---