我觉得如果没有空集，下确界怎么办