Weak relative pseudo-complements of closure operators (Q1272226)

Let \(\mathcal L=\langle L,\leq ,\wedge \rangle \) be a meet semilattice, \(x\), \(y\in L\), \(y\leq x.\) A weak relative pseudocomplement of \(x\) w.r.t. \(y,\) if it exists, is the unique element \(\operatorname {wr}(x,y)\in L\) s.t. \noindent {(i)} \(x\wedge \big (\operatorname {wr}(x,y)\big)=y\) \noindent {(ii)} for each \(z\in L,\) if \(x\wedge z=y,\) then \(z\leq \operatorname {wr}(x,y).\) \noindent This notion is strictly weaker than relative pseudocomplement and stronger than pseudocomplement. For a complete lattice \(\mathcal L\) an upper closure operator on \(\mathcal L\) is a mapping \(\rho \: L\to L\) s.t. \(x\leq \rho (x)\), \(\rho \big (\rho (x)\big)=\rho (x)\) and \(x\leq y\Rightarrow \rho (x) \leq \rho (y).\) Now \(\rho \) is called continuous if \(\rho (\vee C)=\vee \rho (c)\) for any chain \(C\) in \(L.\) The set \(\operatorname {uco} (\mathcal L)\) of all closure operators form a complete lattice with respect to the natural pointwise ordering \(\sqsubseteq .\) The main result is the following Theorem: If \(\mathcal L\) is a complete, meet-continuous lattice, then for all \(\rho \), \(\eta \in \operatorname {uco} (\mathcal L)\) such that \(\eta \sqsubseteq \rho \) and \(\eta \) is continuous, there exists \(\operatorname {wr}(\rho ,\eta).\)