# Hahn-Dieudonne-Tong insertion theorem

From Topospaces

## Statement

Suppose is a normal space, is an upper semicontinuous function and is a lower semicontinuous function. Suppose further than pointwise. Then, there exists a continuous function such that .

Conversely, if is a topological space satisfying the above condition, then is normal.