Definition:Finite Enumeration