ML 第二版 书号9787030569141 邹盛荣 12 ML的形式化 ---03.pptVIP

15.6.3 Collection类型 Collection类型中每个对象的出现叫做一个元素，如果某个元素在集合中出现两次，那么应该算做两个元素。Collection对所有子类型都具有相同语义，其中的某些操作可以在子类型中被重载来提供其他后置条件或更加具体的返回值。 * 15.6.4 Set类型 Set类型是不包括重复元素的对象组，Set类型中的元素是无序的，它是数学上“集合”的概念。Set本身是元类型SetType的一个实例。Set类型是Collection的一个子类，它重载了部分Collection定义的操作，对于这部分操作本节中不再详细介绍，请参见Collection中对操作的讲解。 * 15.6.5 Bag类型 袋子（Bag）是允许元素重复的集合。一个对象可以在袋子中出现多次，袋子中的各元素没有顺序。袋子本身是元类型BagType的一个实例。 * 15.6.6 Sequence类型 Sequence类型和Bag类型相类似，也可以包含重复元素，不过Sequence类型中的元素是有序的。定义在Sequence类上的操作一部分与Set和Bag相同，但也具有自己独特的操作。 * 15.7 使用约束 首先是一些基本类型的约束，它们可用于构成简单约束；然后是一些使用运算符的约束，用于表达某些更复杂的特性，称