2.3.2定义派生集 为定义派生集,必须详细声明 集的名字 父集的名字 可选,集成员 可选,集成员的属性 语法格式: setname (parent set list)[/member list/[: attribute list Setname:集的名字 parent set list:已定义的集的列表,多个时必须用逗号隔开。 若没指定成员列表,则自动创建父集成员所有组合为派生集成员。 派生集的父集既可以是原始集,也可以是其它的派生集为定义派生集，必须详细声明： ·集的名字 ·父集的名字 ·可选，集成员 ·可选，集成员的属性 语法格式： setname(parent_set_list)[/member_list/][:attribute_list]; Setname：集的名字。 parent_set_list：已定义的集的列表，多个时必须用逗号隔开。 若没指定成员列表，则自动创建父集成员所有组合为派生集成员。 派生集的父集既可以是原始集，也可以是其它的派生集。 2.3.2 定义派生集