Description: Define a one-to-one onto
function. For equivalent definitions see
dff1o2 6717, dff1o3 6718, dff1o4 6720, and dff1o5 6721. Compare Definition
6.15(6) of [TakeutiZaring] p. 27.
We use their notation ("1-1" above
the arrow and "onto" below the arrow).
A one-to-one onto function is also called a "bijection" or a
"bijective
function", 𝐹:𝐴–1-1-onto→𝐵 can be read as
"𝐹 is a bijection
between 𝐴 and 𝐵". Bijections are
precisely the isomorphisms in
the category SetCat of sets and set functions,
see setciso 17787.
Therefore, two sets are called "isomorphic" if there is a
bijection
between them. According to isof1oidb 7188, two sets are isomorphic iff
there is an isomorphism Isom regarding the
identity relation. In
this case, the two sets are also "equinumerous", see bren 8717.
(Contributed by NM, 1-Aug-1994.) |