基本集合的定义语法:
基本集合的定义格式为(方括号“[ ]”中的内容是可选项, 可以没有):
setname [/member_list/] [: attribute_list];
其中setname为定义的集合名,member_list为元素列表(下标),attribute_list为属性列表。元素列表可以采用显式列举法(即直接将所有元素全部列出,元素之间用逗号或空格分开),也可以采用隐式列举法。隐式列举法可以有几种不同格式
派生集合的定义语法:
派生集合的定义格式为(方括号“[ ]”中的内容是可选项, 可以没有):
setname(parent_set_list) [/member_list/] [: attribute_list];
与基本集合的定义相比较多了一个parent_set_list(父集合列表)。
父集合列表中的集合(如 set1,set2,…,等)称为派生集合setname的父集合,它们本身也可以是派生集合。
当元素列表(member_list)不在集合定义中出现时,还可以在程序的数据段以赋值语句的方式给出元素列表;
若在程序的数据段也不以赋值语句的方式给出元素列表,则认为定义的是稠密集合,即父集合中所有元素的有序组合(笛卡儿积)都是setname的元素。
当元素列表在集合定义中出现时,又有“元素列表法”(直接列出元素)和“元素过滤法”(利用过滤条件)两种不同方式。