Vocabulary
infinite
finite
one-to-one correspondence
set
transfinite arithmetic
continuum