定8.10集对象Og9是个序列对象,且须满足下述公理: (1)聚集对象具有惟一的成分。 VX, YAGGREGATE()MAGGREGATE(Y ∧LS7(X=LS7()=>(Xx=y (2)若一聚集对象是域对象,该对象所有成分必是域对象 V X(AGGREGA7E(X∧(X∈D)= VY(YiLS70)=>(Y∈D) (3)聚集对象的实例由其成分对象的实例构成。 VX, YL(AGGREGATE(∧X∈ INSTANCES(Y AGGREGA7E(Y)AY∈D∧VZ/(zmLS7 [(ZiLS7) AETI(T in LIS7(1∧Z∈ INSTANCES(T刀◼ 定义8.10 聚集对象Oaggregate是一个序列对象，且须满足下述公理： (1) 聚集对象具有惟一的成分。 X,Y[AGGREGATE(X)∧AGGREGATE(Y) ∧(LIST(X)=LIST(Y))=>(X=Y)] (2) 若一聚集对象是域对象，该对象所有成分必是域对象。  X(AGGREGATE(X)∧(X∈D0 ) =>  Y[(Y in LIST(X)) =>(Y∈D0 )]) (3) 聚集对象的实例由其成分对象的实例构成。  X,Y[(AGGREGATE(X)∧(X∈INSTANCES(Y))) => (AGGREGATE(Y)∧(Y∈D0 )∧Z[(Z in LIST(X)) => [(Z in LIST(Y))∧T[(T in LIST(Y))∧Z∈INSTANCES(T)]]])]