 Definition: Two sets Aand B are equinumerous, \(A \sim B\), if there exists a one-to-one correspondence between them, i.e., a function \(f: A \rightarrow B\) such that for every \(a \in A\) there is exactly one \(f(a) \in B\). 