finiteAggregate

attribs.spad line 2 [edit on github]

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