General insertion and extension theorems for localic real functions

In this paper we investigate localic real functions on frames. We provide a necessary and sufficient condition for the insertion of a continuous localic real function between two arbitrary comparable localic real functions. We also establish necessary and sufficient conditions for extending a bounded localic real function from a complemented sublocale to the whole frame.