 There is a one-one function mapping \(\alpha\) onto \(\beta\) (similarity of \(\alpha\) and \(\beta\)). Contemporary discussions say that \(\alpha\) and \(\beta\) are equinumerous. Difficulties arise with respect to the definition of cardinal numbers when the relation of similarity they involve is one that has a domain and range in different types. See ∗100 below.