在集合论中空集是如何定义的?我们高数老师说它是{x|x不等于x},