map
EnumerationOps
Finite