Right-continuous function


right-continuous function is a function.