Definition:Right-Continuous at Point