13.5.2 集合函数