怎样理解空集,以下式子定义的区分和判断,