Page "Axiom of choice" Paragraph 63
from
Wikipedia
** For every non-empty set S there is a binary operation defined on S that makes it a group.
( A cancellative binary operation is enough.
Page 1 of 1.
1.831 seconds.