Assertion: set | /r/HasProperty | enumerable
Facets:
value: recursively
type: MANNER
Source sentences:
text: If a set is enumerable it will have an uncountable infinity of different enumerations, except in the degenerate cases of the empty set or (depending on the precise definition) sets with one element.
text: The set being enumerated is then called recursively enumerable (or computably enumerable in more contemporary language), referring to the use of recursion theory in formalizations of what it means for the map to be computable.