Interval/Real Function/Step function from above and from below/Definition