« Combinatorial Species
Definition.
tame
[0086]
We call a species
tame
if
is finite for every finite set
.