I have already asked a similar question at
but have received no answer. Sorry, I ask a similar question second time, as it is very important for my research.
Is it true that every brouwerian lattice (=locale =frame) can be order-embedded into a boolean lattice?
If yes, can we warrant that this embedding preserves joins and finite meets?
