Cat::HomogeneousFiniteCollection
-- the category of homogeneous finite collections
represents the category of homogeneous finite collections (i.e. bags)
of elements of the domain Cat::HomogeneousFiniteCollection
(T)T
.
Cat::HomogeneousFiniteCollection(T)
T |
- | A domain which must be from the category Cat::BaseCategory . Only
elements of this domain may be contained in the collection. |
Cat::FiniteCollection
,
Cat::HomogeneousFiniteCollection
is a finite
collection where each element of the collection must be from the same
domain T
.The parameter domain T
.
_less(dom x, dom
y)
T
is an ordered
set.TRUE
if
x
is less than y
.x
and y
are ordered by
the lexical ordering of their elements.Cat::HomogeneousFiniteCollectionCat
.