It is noteworthy that our set inversion algorithm can also be used with any applicable inclusion functions (such as \(T^f_N,T^f_C,T^f_M, T^{f_d}_L, T^{f_d}_O\) ) or the best of them (i.e., by independently computing the reachable sets of all inclusion functions and intersecting them; cf. Corollary REF ) in place of \(T^{f_d}_R\)  in Lines 7 and 17. On the other hand, the proposed \(T^{f_d}_R\)  (as well as \(T^{f_d}_L, T^{f_d}_O\) ) can also be directly used in place of or in combination with natural inclusions within SIVIA [1]} to obtain subpavings  (i.e., a union of intervals).
