for U being non empty set holds {} is IntervalSet of U