Finalmente, con el tipo "Collection(T)", sus subtipos "Bag(T)", "Sequence(T)" y "Set(T)" con su subtipo "OrderedSet(T)" se completa la colección de tipos predefinidos de OCL.