ANY，ALL等谓词在配合比较运算符使用时，有时候可以用集函数替代。