Extending continuous L-real-valued functions from arbitrary subspaces

It is shown that every subspace of a completely normal and extremally disconnected L-topological space has the extension property for (L)-valued functions with L a meet-continuous lattice. To show this, we first characterize those spaces in terms of an insertion type theorem.