有序类型包括:.integer(整型).character(字符型).boolean(布尔型).enumerated(枚举型).subrange(子界型)有序类型定义了一组被排序的值.每个相异值都有唯一的一个后继和唯一的一个前趋.每个相异值的后继都不相同,同样他们的前趋也不同.另外,每个值都有个序号.如果一个值的序号是n,那么它的前趋序号就是n-1,后继的序号就是n+1.