An example of an enumerative definition for the set extant monotreme species (for which the intensional definition is "species of currently-living mammals that lay eggs") would be: