Real function/Continuity in a Point/General/Definition