Further, by Proposition REF , we can obtain inclusion functions from existing decomposition functions as shown in Propositions REF  and REF . Note that we slightly modified the decomposition function in [1]} to make it also applicable for continuous-time systems and for closed Jacobian intervals.
