A type of collection type and the collection-intersection of totally ordered collection and type of collection (qq.v.). Thus, something is an instance of totally ordered collection type if and only if it is a totally-ordered collection of collections.

An example of a totally-ordered collection-type is level of cloudiness.