■定义8.9序列对象O是有限个对象的集合,且有 (1)谓词 SEQUENCE VX( SEQUENCE()→>(X∈O) (2)函数 LENGTHLENGTH(X)=中所含对象的个数; (3)函数LⅠSTLS7(X=X中对象的一个有序排列,用 H1,X2)表示; 4)谓词m当对象X是序列Y的一个元素时,i(X,Y)或 (XiY)为真;如果X不是Y的一个元素,即X不在P中, 则m(X,Y)为假◼ 定义8.9 序列对象Oq是有限个对象的集合，且有： (1)谓词SEQUENCE  X(SEQUENCE(X) <=> (X∈Oq ))； (2)函数LENGTH LENGTH(X)=X中所含对象的个数； (3)函数LIST LIST(X)=X中对象的一个有序排列， 用 〈X1 ,X2 ,…〉表示； (4)谓词in 当对象X是序列Y的一个元素时， in(X,Y)或 (X in Y)为真； 如果X不是Y的一个元素，即X不在Y中， 则in(X,Y)为假