## `Cat::HomogeneousFiniteCollection` -- the category of homogeneous finite collections

#### Introduction

``Cat::HomogeneousFiniteCollection`(T)` represents the category of homogeneous finite collections (i.e. bags) of elements of the domain `T`.

#### Generating the category

`Cat::HomogeneousFiniteCollection(T)`

#### Parameters

`T` | - | A domain which must be from the category `Cat::BaseCategory`. Only elements of this domain may be contained in the collection.

#### Categories

`Cat::FiniteCollection`

,

if `T` has `Cat::OrderedSet` then
`Cat::OrderedSet`

#### Details

- A `Cat::HomogeneousFiniteCollection` is a finite collection where each element of the collection must be from the same domain `T`.

#### Entries

elemDom

  The parameter domain `T`.

#### Method _less: test if element is less

- `_less(dom x, dom y)`
- - This method is defined only if `T` is an ordered set.
  - Returns `TRUE` if `x` is less than `y`.
  - The collections `x` and `y` are ordered by the lexical ordering of their elements.

#### Changes

- Has been renamed. Used to be `Cat::HomogeneousFiniteCollectionCat`.

Do you have questions or comments?
Copyright © SciFace Software GmbH & Co. KG 2000