Como posso provar que [math]P(A)\cup P(B)\subconjunto P(A\cup B)[/math]?
Como posso provar que se todos os subconjuntos de um poset P tiverem os menores limites superiores, então todos os subconjuntos de P têm maiores limites inferiores?