for a, X being set st a c= X holds
Total a in Toler_on_subsets X