An interpolation lemma due to Kat etov is simpliied in order to make it more general and easier to use. Several results are established to illustrate applications of this lemma, including a characterization of monotonically normal spaces and a topology-free insertion theorem. We also prove that a topological space has an order-preserving insertion if and only if it is dominated by a collection ...