A collection instance is a property instance, which consists of any number of instances. Instances in a collection instance can be elementary, complex or collection instances. Collection instances can be typed, weak typed or untyped depending on the data type associated with a collection.
The state of a collection is determined by the instances belonging to the collection regardless on its order. Removing or inserting an instance caused state transitions for the collection instance.