Assertion: continuous function | /r/HasProperty | no jump
Facets:
Source sentences:
text: Right-continuous function: no jump when the limit point is approached from the right.