User talk:Ahsu20

It has since been changed to implication rather than inclusion, but it is specified that the inclusion is over a compact subset of the real line. In this case, continuity implies uniform continuity.