theorem Th28: :: COH_SP:29

for X being set holds {} in Toler_on_subsets X