Bounded interval/Step function/Step integral/Definition