[EN] All the higher separation axioms in topology, except for complete regularity, are known to have sandwich-type characterizations. This note provides a characterization of complete regularity in terms of inserting a ...