Dedekind-infinite set

A set \(S\) is called Dedekind-infinite, if there exists a proper subset \(B \subsetneq S\) and a bijection

\begin{align*} \varphi: B \rightarrow S \end{align*}