let U be non empty set ; :: thesis: {} is IntervalSet of U
consider A being non empty Subset of U;
Inter A,({} U) = {} by Tha2;
hence {} is IntervalSet of U by WW; :: thesis: verum