Si tengo un completo entramado $L$, lo que las condiciones que se necesitan para $I\subseteq L$ a a ser un ideal?
En general celosía las condiciones son:
- $I$ es un juego inferior;
- $I$ es cerrado bajo (finito) se une.
Para un completo entramado, qué se requiere que el $I$ ser cerrado bajo arbitraria une? O es que hay un nombre especial para un "mejor" ideal?
