 In other words, \(F\) and \(G\) are equinumerous just in case there is a relation that establishes a one-to-one correspondence between the \(F\)s and the \(G\)s. If we let ‘\(F \approx G\)’ stand for equinumerosity, then the definition of this notion can be rendered formally as follows: 