Scott continuity (source code)

= Scott continuity
{wiki=Scott_continuity}