Definition:Right-Continuous Real Function