A right-continuous function is a real-valued function
on an interval
whose right-hand limit equals its
value at each point
having points of
to its right:
The limit is taken with (Kreider and Lahr 2002, p. 2). When
has a right endpoint belonging to
, this condition imposes no additional requirement there.