天上的街市(数学名词一)
空集