finiteAggregate

attribs.spad line 1 [edit on github]

The class of all aggregates with a finite number of elements.