5.10.5 集合推导式