MDLD/lower integral
< MDLD
Start=lower integral Target=Bounded interval/Real function/Lower integral as supremum of step integrals from below/Definition
Start=lower integral Target=Bounded interval/Real function/Lower integral as supremum of step integrals from below/Definition