Some subtypes for Collection


    (Note: The '%' before a type means that it has more than one supertype).


Collection -- a group or structure of abstract/concrete entities or situations, e.g. W_set/n2, W_group__grouping

           W_group__grouping  --  any number of entities (members) considered as a unit

           W_set/n2  --  an abstract collection of numbers or symbols

         % Structured_ADT  --  structured Abstract Data Type, e.g. List, CG

           Finite_collection

           Infinite_collection

           Open_collection  --  separable, potentially infinite collection of individuals 
                  Set__Unordered_open_collection  --  without duplicate elements
                         Graph__Network  --  set of nodes and arcs
                              % Graph_ADT
                % List__Ordered_open_collection  --  without duplicate elements
                       % Tuple__Ordered_closed_collection
                               % Record__Structure  --  ADT of an unordered closed collection
                               % Ordered_closed_collection_ADT
                       % Ordered_open_collection_ADT
                                List_ADT  --  ADT of an ordered open collection
                                Stack  --  (may be implemented with a List_ADT or an Array)
                                Keyed_collection_ADT  --  (idem) e.g. a dictionnary ADT
                  Bag  --  e.g. collection with possible duplicates

           Closed_collection  --  or Atomic_collection
                  Group__Unordered_closed_collection
                % Tuple__Ordered_closed_collection
                       % Record__Structure  --  ADT of an unordered closed collection
                       % Ordered_closed_collection_ADT
                                Array  --  ADT of an ordered closed collection
                                Queue  --  (it may be implemented with a List_ADT or an Array)        
		     Singleton
		     Conjunctive_collection  --  i.e. a collective collection (conjoined individuals)
		     Disjunctive_collection  --  i.e. a distributive collection (alternative individuals)

           Empty_set  --  its subtypes come from (Pfeiffer&hartley, 1992)
                  Empty_tuple
                         Singleton_tuple
                              % List__Ordered_open_collection  --  without duplicate elements
                  Disjunctive_set
                         Disjunctive_group
                              % Singleton_group
                         Singleton_set
                              % Singleton_group
                                Conjunctive_set