True preimages of compact or separable sets for functional analysts

. We discuss various results on the existence of ‘true’ preimages under continuous open maps between F -spaces, F -lattices and some other spaces. The aim of the paper is to provide accessible proofs of this sort of results for functional-analysts.