7.8.1 类型为实体集合的派生属性