Every partial order can be order-embedded into a powerset algebra (=complete atomic Boolean lattice) by mapping each element to the cone it generates.
Does this embedding preserve all existing meets and joins in the original partial order?
Also, does it preserve atoms and coatoms?