Definition:Left-Continuous at Point