A one-to-one
correspondence of a set A with a set B. The sets A and B are then said to be
equinumerable,
equipotent or
equivalent.
If operations such as
addition or
multiplication are defined for A and B, it is required that these correspond between A and B.