Un conjunto de $P \subseteq \mathcal{P}(X)$ es una partición de $X$ si y sólo si todas las siguientes condiciones sostener:
- $\emptyset \notin P$
- Para todos los $x,y \in P$, si $x \neq y$ y $x \cap y = \emptyset$.
- $\bigcup P = X$
Yo he leído muchas veces las particiones de una conjunto forma un enrejado, pero nunca consideró la idea con gran detalle. ¿Dónde puedo obtener los principales resultados sobre dichos enrejados? Una recomendación artículo estaría bien.
Me interesa también la generalización donde no se respetan las condiciones 3.
