Defining continuity of real functions of real variables - Harper, J. F. (2016)