for X being set holds {} in Toler_on_subsets X