7.2 应用于集合论和职责分配