En er en mengde med et endelig antall elementer. Det vil si at man kan telle alle elementene i mengden og bli ferdig.