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