0P3L Proposition 3 F∪{1}F_{\cup}\{1\} is left adjoint to F∩,F_{\cap}, and F∩{−1}F_{\cap}\{-1\} is left adjoint to F∪.F_{\cup}.