## You are here

HomeTypo: Inequality as equality

## Primary tabs

# Typo: Inequality as equality

In

"An easy way to see that $P_1$ effects a one-to-one correspondence between $\mathbb{Z}_+^2$ and $\mathbb{Z}_+$ is as follows: Define the ``successor'' of a pair $(x,y) \in \mathbb{Z}_+^2$ to be the pair $(x-1,y+1)$ when $x=0$ ; otherwise, when $x=0$ , the successor is $(y+1,0)$ ."

The first occurence of $x = 0$ should be replaced with $x \neq 0$ for the recursion to be well-defined.

Parting words from the person who closed the correction:

**Status:**Accepted

Reference to the user who closed the correction.:

Reference to the article this correction is about:

Status of the article (was it accepted?):

1

Status of the article (is it closed?):

1

What kind of correction is this:

Meta

- Forums
- Planetary Bugs
- HS/Secondary
- University/Tertiary
- Graduate/Advanced
- Industry/Practice
- Research Topics
- LaTeX help
- Math Comptetitions
- Math History
- Math Humor
- PlanetMath Comments
- PlanetMath System Updates and News
- PlanetMath help
- PlanetMath.ORG
- Strategic Communications Development
- The Math Pub
- Testing messages (ignore)

- Other useful stuff
- Corrections