 The cancellation property is enough to ensure that the are all different.Any nonempty finite set has a group structure as a cyclic group generated by any element.Under the assumption of the axiom of choice, every infinite set is equipotent with a unique cardinal number which equals an aleph.