Insertion and extension theorems for completely distributive lattice valued functions

Insertion and extension theorems are presented for lattice-valued functions where the lattice is an appropriately based completely distributive lattice endowed with its interval topology.