Definition:One-Sided Continuity