The projection maps into its target; that is, $$\newcommand{\cl}[1]{ \mathcal{#1} } \newcommand{\sc}[1]{ \mathscr{#1} } \newcommand{\bb}[1]{ \mathbb{#1} } \newcommand{\fk}[1]{ \mathfrak{#1} } \renewcommand{\bf}[1]{ \mathbf{#1} } \renewcommand{\sf}[1]{ \mathsf{#1} } \renewcommand{\rm}[1]{ \mathrm{#1} } \newcommand{\floor}[1]{ { \lfloor {#1} \rfloor } } \newcommand{\ceil}[1]{ { \lceil {#1} \rceil } } \newcommand{\ol}[1]{ \overline{#1} } \newcommand{\t}[1]{ \text{#1} } \newcommand{\norm}[1]{ { \lvert {#1} \rvert } } \newcommand{\mag}[1]{ { \left\lvert {#1} \right\rvert } } \newcommand{\smag}[1]{ { \lvert {#1} \rvert } } \newcommand{\card}{ \t{cd} } \newcommand{\dcup}{ \sqcup } \newcommand{\tup}[1]{ \langle {#1} \rangle } \newcommand{\tl}{ \tilde } \newcommand{\wt}{ \widetilde } \newcommand{\To}{ \Rightarrow } \newcommand{\box}[1]{ \fbox{$ #1 $} } \newcommand{\onall}[1]{ { \llbracket {#1} \rrbracket } } \newcommand{\tpar}[1]{ \left( {#1} \right) } \newcommand{\tbrak}[1]{ \left[ {#1} \right] } \newcommand{\tbrac}[1]{ \left\{ {#1} \right\} } \newcommand{\mapsfrom}{ \mathrel{↤} } \newcommand{\then}{ \operatorname{\ ;\ } } \newcommand{\pre}[1]{{ \small `{#1} }} \newcommand{\injects}{ \hookrightarrow } \newcommand{\embeds}{ \hookrightarrow } \newcommand{\surjects}{ \twoheadrightarrow } \newcommand{\projects}{ \twoheadrightarrow } \newcommand{\id}{ \,\mathrm d } \newcommand{\ddn}[3]{ \frac{ {\mathrm d}^{#1} {#2} }{ {\mathrm d} {#3}^{#1} } } \newcommand{\dd}{ \ddn{} } \newcommand{\d}{ \dd{} } \newcommand{\dn}[1]{ \ddn{#1}{} } \newcommand{\Dn}[2]{ \partial^{#1}_{#2} } \newcommand{\D}{ \Dn{} } \newcommand{\ig}[2]{ \int {#2} \, \mathrm d {#1} } \newcommand{\cat}[1]{{ \sf{#1} }} \newcommand{\yo}{よ} \newcommand{\X}{-\!\!\!-\!\!\!} \newcommand{\xlongrightarrow}{ \mathop{ \, \X\longrightarrow \, } } \newcommand{\xxlongrightarrow}{ \mathop{ \, \X\X\longrightarrow \, } } \newcommand{\xxxlongrightarrow}{ \mathop{ \, \X\X\X\longrightarrow \, } } \newcommand{\takenby}[1]{ \overset{#1}{\rightarrow} } \newcommand{\longtakenby}[1]{ \overset{#1}{\longrightarrow} } \newcommand{\xlongtakenby}[1]{ \overset{#1}{\xlongrightarrow} } \newcommand{\xxlongtakenby}[1]{ \overset{#1}{\xxlongrightarrow} } \newcommand{\xxxlongtakenby}[1]{ \overset{#1}{\xxxlongrightarrow} } \newcommand{\apar}{ {-} } \newcommand{\halts}{ {\downarrow} } \newcommand{\loops}{ {\uparrow} } f(X) \subseteq Y$$

The projection does not affect its target; that is, $$\newcommand{\cl}[1]{ \mathcal{#1} } \newcommand{\sc}[1]{ \mathscr{#1} } \newcommand{\bb}[1]{ \mathbb{#1} } \newcommand{\fk}[1]{ \mathfrak{#1} } \renewcommand{\bf}[1]{ \mathbf{#1} } \renewcommand{\sf}[1]{ \mathsf{#1} } \renewcommand{\rm}[1]{ \mathrm{#1} } \newcommand{\floor}[1]{ { \lfloor {#1} \rfloor } } \newcommand{\ceil}[1]{ { \lceil {#1} \rceil } } \newcommand{\ol}[1]{ \overline{#1} } \newcommand{\t}[1]{ \text{#1} } \newcommand{\norm}[1]{ { \lvert {#1} \rvert } } \newcommand{\mag}[1]{ { \left\lvert {#1} \right\rvert } } \newcommand{\smag}[1]{ { \lvert {#1} \rvert } } \newcommand{\card}{ \t{cd} } \newcommand{\dcup}{ \sqcup } \newcommand{\tup}[1]{ \langle {#1} \rangle } \newcommand{\tl}{ \tilde } \newcommand{\wt}{ \widetilde } \newcommand{\To}{ \Rightarrow } \newcommand{\box}[1]{ \fbox{$ #1 $} } \newcommand{\onall}[1]{ { \llbracket {#1} \rrbracket } } \newcommand{\tpar}[1]{ \left( {#1} \right) } \newcommand{\tbrak}[1]{ \left[ {#1} \right] } \newcommand{\tbrac}[1]{ \left\{ {#1} \right\} } \newcommand{\mapsfrom}{ \mathrel{↤} } \newcommand{\then}{ \operatorname{\ ;\ } } \newcommand{\pre}[1]{{ \small `{#1} }} \newcommand{\injects}{ \hookrightarrow } \newcommand{\embeds}{ \hookrightarrow } \newcommand{\surjects}{ \twoheadrightarrow } \newcommand{\projects}{ \twoheadrightarrow } \newcommand{\id}{ \,\mathrm d } \newcommand{\ddn}[3]{ \frac{ {\mathrm d}^{#1} {#2} }{ {\mathrm d} {#3}^{#1} } } \newcommand{\dd}{ \ddn{} } \newcommand{\d}{ \dd{} } \newcommand{\dn}[1]{ \ddn{#1}{} } \newcommand{\Dn}[2]{ \partial^{#1}_{#2} } \newcommand{\D}{ \Dn{} } \newcommand{\ig}[2]{ \int {#2} \, \mathrm d {#1} } \newcommand{\cat}[1]{{ \sf{#1} }} \newcommand{\yo}{よ} \newcommand{\X}{-\!\!\!-\!\!\!} \newcommand{\xlongrightarrow}{ \mathop{ \, \X\longrightarrow \, } } \newcommand{\xxlongrightarrow}{ \mathop{ \, \X\X\longrightarrow \, } } \newcommand{\xxxlongrightarrow}{ \mathop{ \, \X\X\X\longrightarrow \, } } \newcommand{\takenby}[1]{ \overset{#1}{\rightarrow} } \newcommand{\longtakenby}[1]{ \overset{#1}{\longrightarrow} } \newcommand{\xlongtakenby}[1]{ \overset{#1}{\xlongrightarrow} } \newcommand{\xxlongtakenby}[1]{ \overset{#1}{\xxlongrightarrow} } \newcommand{\xxxlongtakenby}[1]{ \overset{#1}{\xxxlongrightarrow} } \newcommand{\apar}{ {-} } \newcommand{\halts}{ {\downarrow} } \newcommand{\loops}{ {\uparrow} } f(y) = y \quad\t{for}\quad y \in Y$$

The function on $\newcommand{\cl}[1]{ \mathcal{#1} } \newcommand{\sc}[1]{ \mathscr{#1} } \newcommand{\bb}[1]{ \mathbb{#1} } \newcommand{\fk}[1]{ \mathfrak{#1} } \renewcommand{\bf}[1]{ \mathbf{#1} } \renewcommand{\sf}[1]{ \mathsf{#1} } \renewcommand{\rm}[1]{ \mathrm{#1} } \newcommand{\floor}[1]{ { \lfloor {#1} \rfloor } } \newcommand{\ceil}[1]{ { \lceil {#1} \rceil } } \newcommand{\ol}[1]{ \overline{#1} } \newcommand{\t}[1]{ \text{#1} } \newcommand{\norm}[1]{ { \lvert {#1} \rvert } } \newcommand{\mag}[1]{ { \left\lvert {#1} \right\rvert } } \newcommand{\smag}[1]{ { \lvert {#1} \rvert } } \newcommand{\card}{ \t{cd} } \newcommand{\dcup}{ \sqcup } \newcommand{\tup}[1]{ \langle {#1} \rangle } \newcommand{\tl}{ \tilde } \newcommand{\wt}{ \widetilde } \newcommand{\To}{ \Rightarrow } \newcommand{\box}[1]{ \fbox{$ #1 $} } \newcommand{\onall}[1]{ { \llbracket {#1} \rrbracket } } \newcommand{\tpar}[1]{ \left( {#1} \right) } \newcommand{\tbrak}[1]{ \left[ {#1} \right] } \newcommand{\tbrac}[1]{ \left\{ {#1} \right\} } \newcommand{\mapsfrom}{ \mathrel{↤} } \newcommand{\then}{ \operatorname{\ ;\ } } \newcommand{\pre}[1]{{ \small `{#1} }} \newcommand{\injects}{ \hookrightarrow } \newcommand{\embeds}{ \hookrightarrow } \newcommand{\surjects}{ \twoheadrightarrow } \newcommand{\projects}{ \twoheadrightarrow } \newcommand{\id}{ \,\mathrm d } \newcommand{\ddn}[3]{ \frac{ {\mathrm d}^{#1} {#2} }{ {\mathrm d} {#3}^{#1} } } \newcommand{\dd}{ \ddn{} } \newcommand{\d}{ \dd{} } \newcommand{\dn}[1]{ \ddn{#1}{} } \newcommand{\Dn}[2]{ \partial^{#1}_{#2} } \newcommand{\D}{ \Dn{} } \newcommand{\ig}[2]{ \int {#2} \, \mathrm d {#1} } \newcommand{\cat}[1]{{ \sf{#1} }} \newcommand{\yo}{よ} \newcommand{\X}{-\!\!\!-\!\!\!} \newcommand{\xlongrightarrow}{ \mathop{ \, \X\longrightarrow \, } } \newcommand{\xxlongrightarrow}{ \mathop{ \, \X\X\longrightarrow \, } } \newcommand{\xxxlongrightarrow}{ \mathop{ \, \X\X\X\longrightarrow \, } } \newcommand{\takenby}[1]{ \overset{#1}{\rightarrow} } \newcommand{\longtakenby}[1]{ \overset{#1}{\longrightarrow} } \newcommand{\xlongtakenby}[1]{ \overset{#1}{\xlongrightarrow} } \newcommand{\xxlongtakenby}[1]{ \overset{#1}{\xxlongrightarrow} } \newcommand{\xxxlongtakenby}[1]{ \overset{#1}{\xxxlongrightarrow} } \newcommand{\apar}{ {-} } \newcommand{\halts}{ {\downarrow} } \newcommand{\loops}{ {\uparrow} } \bb R^2$ taking $\newcommand{\cl}[1]{ \mathcal{#1} } \newcommand{\sc}[1]{ \mathscr{#1} } \newcommand{\bb}[1]{ \mathbb{#1} } \newcommand{\fk}[1]{ \mathfrak{#1} } \renewcommand{\bf}[1]{ \mathbf{#1} } \renewcommand{\sf}[1]{ \mathsf{#1} } \renewcommand{\rm}[1]{ \mathrm{#1} } \newcommand{\floor}[1]{ { \lfloor {#1} \rfloor } } \newcommand{\ceil}[1]{ { \lceil {#1} \rceil } } \newcommand{\ol}[1]{ \overline{#1} } \newcommand{\t}[1]{ \text{#1} } \newcommand{\norm}[1]{ { \lvert {#1} \rvert } } \newcommand{\mag}[1]{ { \left\lvert {#1} \right\rvert } } \newcommand{\smag}[1]{ { \lvert {#1} \rvert } } \newcommand{\card}{ \t{cd} } \newcommand{\dcup}{ \sqcup } \newcommand{\tup}[1]{ \langle {#1} \rangle } \newcommand{\tl}{ \tilde } \newcommand{\wt}{ \widetilde } \newcommand{\To}{ \Rightarrow } \newcommand{\box}[1]{ \fbox{$ #1 $} } \newcommand{\onall}[1]{ { \llbracket {#1} \rrbracket } } \newcommand{\tpar}[1]{ \left( {#1} \right) } \newcommand{\tbrak}[1]{ \left[ {#1} \right] } \newcommand{\tbrac}[1]{ \left\{ {#1} \right\} } \newcommand{\mapsfrom}{ \mathrel{↤} } \newcommand{\then}{ \operatorname{\ ;\ } } \newcommand{\pre}[1]{{ \small `{#1} }} \newcommand{\injects}{ \hookrightarrow } \newcommand{\embeds}{ \hookrightarrow } \newcommand{\surjects}{ \twoheadrightarrow } \newcommand{\projects}{ \twoheadrightarrow } \newcommand{\id}{ \,\mathrm d } \newcommand{\ddn}[3]{ \frac{ {\mathrm d}^{#1} {#2} }{ {\mathrm d} {#3}^{#1} } } \newcommand{\dd}{ \ddn{} } \newcommand{\d}{ \dd{} } \newcommand{\dn}[1]{ \ddn{#1}{} } \newcommand{\Dn}[2]{ \partial^{#1}_{#2} } \newcommand{\D}{ \Dn{} } \newcommand{\ig}[2]{ \int {#2} \, \mathrm d {#1} } \newcommand{\cat}[1]{{ \sf{#1} }} \newcommand{\yo}{よ} \newcommand{\X}{-\!\!\!-\!\!\!} \newcommand{\xlongrightarrow}{ \mathop{ \, \X\longrightarrow \, } } \newcommand{\xxlongrightarrow}{ \mathop{ \, \X\X\longrightarrow \, } } \newcommand{\xxxlongrightarrow}{ \mathop{ \, \X\X\X\longrightarrow \, } } \newcommand{\takenby}[1]{ \overset{#1}{\rightarrow} } \newcommand{\longtakenby}[1]{ \overset{#1}{\longrightarrow} } \newcommand{\xlongtakenby}[1]{ \overset{#1}{\xlongrightarrow} } \newcommand{\xxlongtakenby}[1]{ \overset{#1}{\xxlongrightarrow} } \newcommand{\xxxlongtakenby}[1]{ \overset{#1}{\xxxlongrightarrow} } \newcommand{\apar}{ {-} } \newcommand{\halts}{ {\downarrow} } \newcommand{\loops}{ {\uparrow} } (x, y)$ to $\newcommand{\cl}[1]{ \mathcal{#1} } \newcommand{\sc}[1]{ \mathscr{#1} } \newcommand{\bb}[1]{ \mathbb{#1} } \newcommand{\fk}[1]{ \mathfrak{#1} } \renewcommand{\bf}[1]{ \mathbf{#1} } \renewcommand{\sf}[1]{ \mathsf{#1} } \renewcommand{\rm}[1]{ \mathrm{#1} } \newcommand{\floor}[1]{ { \lfloor {#1} \rfloor } } \newcommand{\ceil}[1]{ { \lceil {#1} \rceil } } \newcommand{\ol}[1]{ \overline{#1} } \newcommand{\t}[1]{ \text{#1} } \newcommand{\norm}[1]{ { \lvert {#1} \rvert } } \newcommand{\mag}[1]{ { \left\lvert {#1} \right\rvert } } \newcommand{\smag}[1]{ { \lvert {#1} \rvert } } \newcommand{\card}{ \t{cd} } \newcommand{\dcup}{ \sqcup } \newcommand{\tup}[1]{ \langle {#1} \rangle } \newcommand{\tl}{ \tilde } \newcommand{\wt}{ \widetilde } \newcommand{\To}{ \Rightarrow } \newcommand{\box}[1]{ \fbox{$ #1 $} } \newcommand{\onall}[1]{ { \llbracket {#1} \rrbracket } } \newcommand{\tpar}[1]{ \left( {#1} \right) } \newcommand{\tbrak}[1]{ \left[ {#1} \right] } \newcommand{\tbrac}[1]{ \left\{ {#1} \right\} } \newcommand{\mapsfrom}{ \mathrel{↤} } \newcommand{\then}{ \operatorname{\ ;\ } } \newcommand{\pre}[1]{{ \small `{#1} }} \newcommand{\injects}{ \hookrightarrow } \newcommand{\embeds}{ \hookrightarrow } \newcommand{\surjects}{ \twoheadrightarrow } \newcommand{\projects}{ \twoheadrightarrow } \newcommand{\id}{ \,\mathrm d } \newcommand{\ddn}[3]{ \frac{ {\mathrm d}^{#1} {#2} }{ {\mathrm d} {#3}^{#1} } } \newcommand{\dd}{ \ddn{} } \newcommand{\d}{ \dd{} } \newcommand{\dn}[1]{ \ddn{#1}{} } \newcommand{\Dn}[2]{ \partial^{#1}_{#2} } \newcommand{\D}{ \Dn{} } \newcommand{\ig}[2]{ \int {#2} \, \mathrm d {#1} } \newcommand{\cat}[1]{{ \sf{#1} }} \newcommand{\yo}{よ} \newcommand{\X}{-\!\!\!-\!\!\!} \newcommand{\xlongrightarrow}{ \mathop{ \, \X\longrightarrow \, } } \newcommand{\xxlongrightarrow}{ \mathop{ \, \X\X\longrightarrow \, } } \newcommand{\xxxlongrightarrow}{ \mathop{ \, \X\X\X\longrightarrow \, } } \newcommand{\takenby}[1]{ \overset{#1}{\rightarrow} } \newcommand{\longtakenby}[1]{ \overset{#1}{\longrightarrow} } \newcommand{\xlongtakenby}[1]{ \overset{#1}{\xlongrightarrow} } \newcommand{\xxlongtakenby}[1]{ \overset{#1}{\xxlongrightarrow} } \newcommand{\xxxlongtakenby}[1]{ \overset{#1}{\xxxlongrightarrow} } \newcommand{\apar}{ {-} } \newcommand{\halts}{ {\downarrow} } \newcommand{\loops}{ {\uparrow} } (x, 0)$ — This has the ‘limited viewpoint’ of only ‘seeing’ the first coordinate

The function on $\newcommand{\cl}[1]{ \mathcal{#1} } \newcommand{\sc}[1]{ \mathscr{#1} } \newcommand{\bb}[1]{ \mathbb{#1} } \newcommand{\fk}[1]{ \mathfrak{#1} } \renewcommand{\bf}[1]{ \mathbf{#1} } \renewcommand{\sf}[1]{ \mathsf{#1} } \renewcommand{\rm}[1]{ \mathrm{#1} } \newcommand{\floor}[1]{ { \lfloor {#1} \rfloor } } \newcommand{\ceil}[1]{ { \lceil {#1} \rceil } } \newcommand{\ol}[1]{ \overline{#1} } \newcommand{\t}[1]{ \text{#1} } \newcommand{\norm}[1]{ { \lvert {#1} \rvert } } \newcommand{\mag}[1]{ { \left\lvert {#1} \right\rvert } } \newcommand{\smag}[1]{ { \lvert {#1} \rvert } } \newcommand{\card}{ \t{cd} } \newcommand{\dcup}{ \sqcup } \newcommand{\tup}[1]{ \langle {#1} \rangle } \newcommand{\tl}{ \tilde } \newcommand{\wt}{ \widetilde } \newcommand{\To}{ \Rightarrow } \newcommand{\box}[1]{ \fbox{$ #1 $} } \newcommand{\onall}[1]{ { \llbracket {#1} \rrbracket } } \newcommand{\tpar}[1]{ \left( {#1} \right) } \newcommand{\tbrak}[1]{ \left[ {#1} \right] } \newcommand{\tbrac}[1]{ \left\{ {#1} \right\} } \newcommand{\mapsfrom}{ \mathrel{↤} } \newcommand{\then}{ \operatorname{\ ;\ } } \newcommand{\pre}[1]{{ \small `{#1} }} \newcommand{\injects}{ \hookrightarrow } \newcommand{\embeds}{ \hookrightarrow } \newcommand{\surjects}{ \twoheadrightarrow } \newcommand{\projects}{ \twoheadrightarrow } \newcommand{\id}{ \,\mathrm d } \newcommand{\ddn}[3]{ \frac{ {\mathrm d}^{#1} {#2} }{ {\mathrm d} {#3}^{#1} } } \newcommand{\dd}{ \ddn{} } \newcommand{\d}{ \dd{} } \newcommand{\dn}[1]{ \ddn{#1}{} } \newcommand{\Dn}[2]{ \partial^{#1}_{#2} } \newcommand{\D}{ \Dn{} } \newcommand{\ig}[2]{ \int {#2} \, \mathrm d {#1} } \newcommand{\cat}[1]{{ \sf{#1} }} \newcommand{\yo}{よ} \newcommand{\X}{-\!\!\!-\!\!\!} \newcommand{\xlongrightarrow}{ \mathop{ \, \X\longrightarrow \, } } \newcommand{\xxlongrightarrow}{ \mathop{ \, \X\X\longrightarrow \, } } \newcommand{\xxxlongrightarrow}{ \mathop{ \, \X\X\X\longrightarrow \, } } \newcommand{\takenby}[1]{ \overset{#1}{\rightarrow} } \newcommand{\longtakenby}[1]{ \overset{#1}{\longrightarrow} } \newcommand{\xlongtakenby}[1]{ \overset{#1}{\xlongrightarrow} } \newcommand{\xxlongtakenby}[1]{ \overset{#1}{\xxlongrightarrow} } \newcommand{\xxxlongtakenby}[1]{ \overset{#1}{\xxxlongrightarrow} } \newcommand{\apar}{ {-} } \newcommand{\halts}{ {\downarrow} } \newcommand{\loops}{ {\uparrow} } \bb R^2$ taking $\newcommand{\cl}[1]{ \mathcal{#1} } \newcommand{\sc}[1]{ \mathscr{#1} } \newcommand{\bb}[1]{ \mathbb{#1} } \newcommand{\fk}[1]{ \mathfrak{#1} } \renewcommand{\bf}[1]{ \mathbf{#1} } \renewcommand{\sf}[1]{ \mathsf{#1} } \renewcommand{\rm}[1]{ \mathrm{#1} } \newcommand{\floor}[1]{ { \lfloor {#1} \rfloor } } \newcommand{\ceil}[1]{ { \lceil {#1} \rceil } } \newcommand{\ol}[1]{ \overline{#1} } \newcommand{\t}[1]{ \text{#1} } \newcommand{\norm}[1]{ { \lvert {#1} \rvert } } \newcommand{\mag}[1]{ { \left\lvert {#1} \right\rvert } } \newcommand{\smag}[1]{ { \lvert {#1} \rvert } } \newcommand{\card}{ \t{cd} } \newcommand{\dcup}{ \sqcup } \newcommand{\tup}[1]{ \langle {#1} \rangle } \newcommand{\tl}{ \tilde } \newcommand{\wt}{ \widetilde } \newcommand{\To}{ \Rightarrow } \newcommand{\box}[1]{ \fbox{$ #1 $} } \newcommand{\onall}[1]{ { \llbracket {#1} \rrbracket } } \newcommand{\tpar}[1]{ \left( {#1} \right) } \newcommand{\tbrak}[1]{ \left[ {#1} \right] } \newcommand{\tbrac}[1]{ \left\{ {#1} \right\} } \newcommand{\mapsfrom}{ \mathrel{↤} } \newcommand{\then}{ \operatorname{\ ;\ } } \newcommand{\pre}[1]{{ \small `{#1} }} \newcommand{\injects}{ \hookrightarrow } \newcommand{\embeds}{ \hookrightarrow } \newcommand{\surjects}{ \twoheadrightarrow } \newcommand{\projects}{ \twoheadrightarrow } \newcommand{\id}{ \,\mathrm d } \newcommand{\ddn}[3]{ \frac{ {\mathrm d}^{#1} {#2} }{ {\mathrm d} {#3}^{#1} } } \newcommand{\dd}{ \ddn{} } \newcommand{\d}{ \dd{} } \newcommand{\dn}[1]{ \ddn{#1}{} } \newcommand{\Dn}[2]{ \partial^{#1}_{#2} } \newcommand{\D}{ \Dn{} } \newcommand{\ig}[2]{ \int {#2} \, \mathrm d {#1} } \newcommand{\cat}[1]{{ \sf{#1} }} \newcommand{\yo}{よ} \newcommand{\X}{-\!\!\!-\!\!\!} \newcommand{\xlongrightarrow}{ \mathop{ \, \X\longrightarrow \, } } \newcommand{\xxlongrightarrow}{ \mathop{ \, \X\X\longrightarrow \, } } \newcommand{\xxxlongrightarrow}{ \mathop{ \, \X\X\X\longrightarrow \, } } \newcommand{\takenby}[1]{ \overset{#1}{\rightarrow} } \newcommand{\longtakenby}[1]{ \overset{#1}{\longrightarrow} } \newcommand{\xlongtakenby}[1]{ \overset{#1}{\xlongrightarrow} } \newcommand{\xxlongtakenby}[1]{ \overset{#1}{\xxlongrightarrow} } \newcommand{\xxxlongtakenby}[1]{ \overset{#1}{\xxxlongrightarrow} } \newcommand{\apar}{ {-} } \newcommand{\halts}{ {\downarrow} } \newcommand{\loops}{ {\uparrow} } (x, y)$ to $\newcommand{\cl}[1]{ \mathcal{#1} } \newcommand{\sc}[1]{ \mathscr{#1} } \newcommand{\bb}[1]{ \mathbb{#1} } \newcommand{\fk}[1]{ \mathfrak{#1} } \renewcommand{\bf}[1]{ \mathbf{#1} } \renewcommand{\sf}[1]{ \mathsf{#1} } \renewcommand{\rm}[1]{ \mathrm{#1} } \newcommand{\floor}[1]{ { \lfloor {#1} \rfloor } } \newcommand{\ceil}[1]{ { \lceil {#1} \rceil } } \newcommand{\ol}[1]{ \overline{#1} } \newcommand{\t}[1]{ \text{#1} } \newcommand{\norm}[1]{ { \lvert {#1} \rvert } } \newcommand{\mag}[1]{ { \left\lvert {#1} \right\rvert } } \newcommand{\smag}[1]{ { \lvert {#1} \rvert } } \newcommand{\card}{ \t{cd} } \newcommand{\dcup}{ \sqcup } \newcommand{\tup}[1]{ \langle {#1} \rangle } \newcommand{\tl}{ \tilde } \newcommand{\wt}{ \widetilde } \newcommand{\To}{ \Rightarrow } \newcommand{\box}[1]{ \fbox{$ #1 $} } \newcommand{\onall}[1]{ { \llbracket {#1} \rrbracket } } \newcommand{\tpar}[1]{ \left( {#1} \right) } \newcommand{\tbrak}[1]{ \left[ {#1} \right] } \newcommand{\tbrac}[1]{ \left\{ {#1} \right\} } \newcommand{\mapsfrom}{ \mathrel{↤} } \newcommand{\then}{ \operatorname{\ ;\ } } \newcommand{\pre}[1]{{ \small `{#1} }} \newcommand{\injects}{ \hookrightarrow } \newcommand{\embeds}{ \hookrightarrow } \newcommand{\surjects}{ \twoheadrightarrow } \newcommand{\projects}{ \twoheadrightarrow } \newcommand{\id}{ \,\mathrm d } \newcommand{\ddn}[3]{ \frac{ {\mathrm d}^{#1} {#2} }{ {\mathrm d} {#3}^{#1} } } \newcommand{\dd}{ \ddn{} } \newcommand{\d}{ \dd{} } \newcommand{\dn}[1]{ \ddn{#1}{} } \newcommand{\Dn}[2]{ \partial^{#1}_{#2} } \newcommand{\D}{ \Dn{} } \newcommand{\ig}[2]{ \int {#2} \, \mathrm d {#1} } \newcommand{\cat}[1]{{ \sf{#1} }} \newcommand{\yo}{よ} \newcommand{\X}{-\!\!\!-\!\!\!} \newcommand{\xlongrightarrow}{ \mathop{ \, \X\longrightarrow \, } } \newcommand{\xxlongrightarrow}{ \mathop{ \, \X\X\longrightarrow \, } } \newcommand{\xxxlongrightarrow}{ \mathop{ \, \X\X\X\longrightarrow \, } } \newcommand{\takenby}[1]{ \overset{#1}{\rightarrow} } \newcommand{\longtakenby}[1]{ \overset{#1}{\longrightarrow} } \newcommand{\xlongtakenby}[1]{ \overset{#1}{\xlongrightarrow} } \newcommand{\xxlongtakenby}[1]{ \overset{#1}{\xxlongrightarrow} } \newcommand{\xxxlongtakenby}[1]{ \overset{#1}{\xxxlongrightarrow} } \newcommand{\apar}{ {-} } \newcommand{\halts}{ {\downarrow} } \newcommand{\loops}{ {\uparrow} } (0, y)$ — Likewise, but for second coordinate

The function on $\newcommand{\cl}[1]{ \mathcal{#1} } \newcommand{\sc}[1]{ \mathscr{#1} } \newcommand{\bb}[1]{ \mathbb{#1} } \newcommand{\fk}[1]{ \mathfrak{#1} } \renewcommand{\bf}[1]{ \mathbf{#1} } \renewcommand{\sf}[1]{ \mathsf{#1} } \renewcommand{\rm}[1]{ \mathrm{#1} } \newcommand{\floor}[1]{ { \lfloor {#1} \rfloor } } \newcommand{\ceil}[1]{ { \lceil {#1} \rceil } } \newcommand{\ol}[1]{ \overline{#1} } \newcommand{\t}[1]{ \text{#1} } \newcommand{\norm}[1]{ { \lvert {#1} \rvert } } \newcommand{\mag}[1]{ { \left\lvert {#1} \right\rvert } } \newcommand{\smag}[1]{ { \lvert {#1} \rvert } } \newcommand{\card}{ \t{cd} } \newcommand{\dcup}{ \sqcup } \newcommand{\tup}[1]{ \langle {#1} \rangle } \newcommand{\tl}{ \tilde } \newcommand{\wt}{ \widetilde } \newcommand{\To}{ \Rightarrow } \newcommand{\box}[1]{ \fbox{$ #1 $} } \newcommand{\onall}[1]{ { \llbracket {#1} \rrbracket } } \newcommand{\tpar}[1]{ \left( {#1} \right) } \newcommand{\tbrak}[1]{ \left[ {#1} \right] } \newcommand{\tbrac}[1]{ \left\{ {#1} \right\} } \newcommand{\mapsfrom}{ \mathrel{↤} } \newcommand{\then}{ \operatorname{\ ;\ } } \newcommand{\pre}[1]{{ \small `{#1} }} \newcommand{\injects}{ \hookrightarrow } \newcommand{\embeds}{ \hookrightarrow } \newcommand{\surjects}{ \twoheadrightarrow } \newcommand{\projects}{ \twoheadrightarrow } \newcommand{\id}{ \,\mathrm d } \newcommand{\ddn}[3]{ \frac{ {\mathrm d}^{#1} {#2} }{ {\mathrm d} {#3}^{#1} } } \newcommand{\dd}{ \ddn{} } \newcommand{\d}{ \dd{} } \newcommand{\dn}[1]{ \ddn{#1}{} } \newcommand{\Dn}[2]{ \partial^{#1}_{#2} } \newcommand{\D}{ \Dn{} } \newcommand{\ig}[2]{ \int {#2} \, \mathrm d {#1} } \newcommand{\cat}[1]{{ \sf{#1} }} \newcommand{\yo}{よ} \newcommand{\X}{-\!\!\!-\!\!\!} \newcommand{\xlongrightarrow}{ \mathop{ \, \X\longrightarrow \, } } \newcommand{\xxlongrightarrow}{ \mathop{ \, \X\X\longrightarrow \, } } \newcommand{\xxxlongrightarrow}{ \mathop{ \, \X\X\X\longrightarrow \, } } \newcommand{\takenby}[1]{ \overset{#1}{\rightarrow} } \newcommand{\longtakenby}[1]{ \overset{#1}{\longrightarrow} } \newcommand{\xlongtakenby}[1]{ \overset{#1}{\xlongrightarrow} } \newcommand{\xxlongtakenby}[1]{ \overset{#1}{\xxlongrightarrow} } \newcommand{\xxxlongtakenby}[1]{ \overset{#1}{\xxxlongrightarrow} } \newcommand{\apar}{ {-} } \newcommand{\halts}{ {\downarrow} } \newcommand{\loops}{ {\uparrow} } \bb C$ taking $\newcommand{\cl}[1]{ \mathcal{#1} } \newcommand{\sc}[1]{ \mathscr{#1} } \newcommand{\bb}[1]{ \mathbb{#1} } \newcommand{\fk}[1]{ \mathfrak{#1} } \renewcommand{\bf}[1]{ \mathbf{#1} } \renewcommand{\sf}[1]{ \mathsf{#1} } \renewcommand{\rm}[1]{ \mathrm{#1} } \newcommand{\floor}[1]{ { \lfloor {#1} \rfloor } } \newcommand{\ceil}[1]{ { \lceil {#1} \rceil } } \newcommand{\ol}[1]{ \overline{#1} } \newcommand{\t}[1]{ \text{#1} } \newcommand{\norm}[1]{ { \lvert {#1} \rvert } } \newcommand{\mag}[1]{ { \left\lvert {#1} \right\rvert } } \newcommand{\smag}[1]{ { \lvert {#1} \rvert } } \newcommand{\card}{ \t{cd} } \newcommand{\dcup}{ \sqcup } \newcommand{\tup}[1]{ \langle {#1} \rangle } \newcommand{\tl}{ \tilde } \newcommand{\wt}{ \widetilde } \newcommand{\To}{ \Rightarrow } \newcommand{\box}[1]{ \fbox{$ #1 $} } \newcommand{\onall}[1]{ { \llbracket {#1} \rrbracket } } \newcommand{\tpar}[1]{ \left( {#1} \right) } \newcommand{\tbrak}[1]{ \left[ {#1} \right] } \newcommand{\tbrac}[1]{ \left\{ {#1} \right\} } \newcommand{\mapsfrom}{ \mathrel{↤} } \newcommand{\then}{ \operatorname{\ ;\ } } \newcommand{\pre}[1]{{ \small `{#1} }} \newcommand{\injects}{ \hookrightarrow } \newcommand{\embeds}{ \hookrightarrow } \newcommand{\surjects}{ \twoheadrightarrow } \newcommand{\projects}{ \twoheadrightarrow } \newcommand{\id}{ \,\mathrm d } \newcommand{\ddn}[3]{ \frac{ {\mathrm d}^{#1} {#2} }{ {\mathrm d} {#3}^{#1} } } \newcommand{\dd}{ \ddn{} } \newcommand{\d}{ \dd{} } \newcommand{\dn}[1]{ \ddn{#1}{} } \newcommand{\Dn}[2]{ \partial^{#1}_{#2} } \newcommand{\D}{ \Dn{} } \newcommand{\ig}[2]{ \int {#2} \, \mathrm d {#1} } \newcommand{\cat}[1]{{ \sf{#1} }} \newcommand{\yo}{よ} \newcommand{\X}{-\!\!\!-\!\!\!} \newcommand{\xlongrightarrow}{ \mathop{ \, \X\longrightarrow \, } } \newcommand{\xxlongrightarrow}{ \mathop{ \, \X\X\longrightarrow \, } } \newcommand{\xxxlongrightarrow}{ \mathop{ \, \X\X\X\longrightarrow \, } } \newcommand{\takenby}[1]{ \overset{#1}{\rightarrow} } \newcommand{\longtakenby}[1]{ \overset{#1}{\longrightarrow} } \newcommand{\xlongtakenby}[1]{ \overset{#1}{\xlongrightarrow} } \newcommand{\xxlongtakenby}[1]{ \overset{#1}{\xxlongrightarrow} } \newcommand{\xxxlongtakenby}[1]{ \overset{#1}{\xxxlongrightarrow} } \newcommand{\apar}{ {-} } \newcommand{\halts}{ {\downarrow} } \newcommand{\loops}{ {\uparrow} } x + i y$ to $\newcommand{\cl}[1]{ \mathcal{#1} } \newcommand{\sc}[1]{ \mathscr{#1} } \newcommand{\bb}[1]{ \mathbb{#1} } \newcommand{\fk}[1]{ \mathfrak{#1} } \renewcommand{\bf}[1]{ \mathbf{#1} } \renewcommand{\sf}[1]{ \mathsf{#1} } \renewcommand{\rm}[1]{ \mathrm{#1} } \newcommand{\floor}[1]{ { \lfloor {#1} \rfloor } } \newcommand{\ceil}[1]{ { \lceil {#1} \rceil } } \newcommand{\ol}[1]{ \overline{#1} } \newcommand{\t}[1]{ \text{#1} } \newcommand{\norm}[1]{ { \lvert {#1} \rvert } } \newcommand{\mag}[1]{ { \left\lvert {#1} \right\rvert } } \newcommand{\smag}[1]{ { \lvert {#1} \rvert } } \newcommand{\card}{ \t{cd} } \newcommand{\dcup}{ \sqcup } \newcommand{\tup}[1]{ \langle {#1} \rangle } \newcommand{\tl}{ \tilde } \newcommand{\wt}{ \widetilde } \newcommand{\To}{ \Rightarrow } \newcommand{\box}[1]{ \fbox{$ #1 $} } \newcommand{\onall}[1]{ { \llbracket {#1} \rrbracket } } \newcommand{\tpar}[1]{ \left( {#1} \right) } \newcommand{\tbrak}[1]{ \left[ {#1} \right] } \newcommand{\tbrac}[1]{ \left\{ {#1} \right\} } \newcommand{\mapsfrom}{ \mathrel{↤} } \newcommand{\then}{ \operatorname{\ ;\ } } \newcommand{\pre}[1]{{ \small `{#1} }} \newcommand{\injects}{ \hookrightarrow } \newcommand{\embeds}{ \hookrightarrow } \newcommand{\surjects}{ \twoheadrightarrow } \newcommand{\projects}{ \twoheadrightarrow } \newcommand{\id}{ \,\mathrm d } \newcommand{\ddn}[3]{ \frac{ {\mathrm d}^{#1} {#2} }{ {\mathrm d} {#3}^{#1} } } \newcommand{\dd}{ \ddn{} } \newcommand{\d}{ \dd{} } \newcommand{\dn}[1]{ \ddn{#1}{} } \newcommand{\Dn}[2]{ \partial^{#1}_{#2} } \newcommand{\D}{ \Dn{} } \newcommand{\ig}[2]{ \int {#2} \, \mathrm d {#1} } \newcommand{\cat}[1]{{ \sf{#1} }} \newcommand{\yo}{よ} \newcommand{\X}{-\!\!\!-\!\!\!} \newcommand{\xlongrightarrow}{ \mathop{ \, \X\longrightarrow \, } } \newcommand{\xxlongrightarrow}{ \mathop{ \, \X\X\longrightarrow \, } } \newcommand{\xxxlongrightarrow}{ \mathop{ \, \X\X\X\longrightarrow \, } } \newcommand{\takenby}[1]{ \overset{#1}{\rightarrow} } \newcommand{\longtakenby}[1]{ \overset{#1}{\longrightarrow} } \newcommand{\xlongtakenby}[1]{ \overset{#1}{\xlongrightarrow} } \newcommand{\xxlongtakenby}[1]{ \overset{#1}{\xxlongrightarrow} } \newcommand{\xxxlongtakenby}[1]{ \overset{#1}{\xxxlongrightarrow} } \newcommand{\apar}{ {-} } \newcommand{\halts}{ {\downarrow} } \newcommand{\loops}{ {\uparrow} } \sqrt{x^2 + y^2}$ — Likewise, but for magnitude

The function on $\newcommand{\cl}[1]{ \mathcal{#1} } \newcommand{\sc}[1]{ \mathscr{#1} } \newcommand{\bb}[1]{ \mathbb{#1} } \newcommand{\fk}[1]{ \mathfrak{#1} } \renewcommand{\bf}[1]{ \mathbf{#1} } \renewcommand{\sf}[1]{ \mathsf{#1} } \renewcommand{\rm}[1]{ \mathrm{#1} } \newcommand{\floor}[1]{ { \lfloor {#1} \rfloor } } \newcommand{\ceil}[1]{ { \lceil {#1} \rceil } } \newcommand{\ol}[1]{ \overline{#1} } \newcommand{\t}[1]{ \text{#1} } \newcommand{\norm}[1]{ { \lvert {#1} \rvert } } \newcommand{\mag}[1]{ { \left\lvert {#1} \right\rvert } } \newcommand{\smag}[1]{ { \lvert {#1} \rvert } } \newcommand{\card}{ \t{cd} } \newcommand{\dcup}{ \sqcup } \newcommand{\tup}[1]{ \langle {#1} \rangle } \newcommand{\tl}{ \tilde } \newcommand{\wt}{ \widetilde } \newcommand{\To}{ \Rightarrow } \newcommand{\box}[1]{ \fbox{$ #1 $} } \newcommand{\onall}[1]{ { \llbracket {#1} \rrbracket } } \newcommand{\tpar}[1]{ \left( {#1} \right) } \newcommand{\tbrak}[1]{ \left[ {#1} \right] } \newcommand{\tbrac}[1]{ \left\{ {#1} \right\} } \newcommand{\mapsfrom}{ \mathrel{↤} } \newcommand{\then}{ \operatorname{\ ;\ } } \newcommand{\pre}[1]{{ \small `{#1} }} \newcommand{\injects}{ \hookrightarrow } \newcommand{\embeds}{ \hookrightarrow } \newcommand{\surjects}{ \twoheadrightarrow } \newcommand{\projects}{ \twoheadrightarrow } \newcommand{\id}{ \,\mathrm d } \newcommand{\ddn}[3]{ \frac{ {\mathrm d}^{#1} {#2} }{ {\mathrm d} {#3}^{#1} } } \newcommand{\dd}{ \ddn{} } \newcommand{\d}{ \dd{} } \newcommand{\dn}[1]{ \ddn{#1}{} } \newcommand{\Dn}[2]{ \partial^{#1}_{#2} } \newcommand{\D}{ \Dn{} } \newcommand{\ig}[2]{ \int {#2} \, \mathrm d {#1} } \newcommand{\cat}[1]{{ \sf{#1} }} \newcommand{\yo}{よ} \newcommand{\X}{-\!\!\!-\!\!\!} \newcommand{\xlongrightarrow}{ \mathop{ \, \X\longrightarrow \, } } \newcommand{\xxlongrightarrow}{ \mathop{ \, \X\X\longrightarrow \, } } \newcommand{\xxxlongrightarrow}{ \mathop{ \, \X\X\X\longrightarrow \, } } \newcommand{\takenby}[1]{ \overset{#1}{\rightarrow} } \newcommand{\longtakenby}[1]{ \overset{#1}{\longrightarrow} } \newcommand{\xlongtakenby}[1]{ \overset{#1}{\xlongrightarrow} } \newcommand{\xxlongtakenby}[1]{ \overset{#1}{\xxlongrightarrow} } \newcommand{\xxxlongtakenby}[1]{ \overset{#1}{\xxxlongrightarrow} } \newcommand{\apar}{ {-} } \newcommand{\halts}{ {\downarrow} } \newcommand{\loops}{ {\uparrow} } \bb R$ taking $\newcommand{\cl}[1]{ \mathcal{#1} } \newcommand{\sc}[1]{ \mathscr{#1} } \newcommand{\bb}[1]{ \mathbb{#1} } \newcommand{\fk}[1]{ \mathfrak{#1} } \renewcommand{\bf}[1]{ \mathbf{#1} } \renewcommand{\sf}[1]{ \mathsf{#1} } \renewcommand{\rm}[1]{ \mathrm{#1} } \newcommand{\floor}[1]{ { \lfloor {#1} \rfloor } } \newcommand{\ceil}[1]{ { \lceil {#1} \rceil } } \newcommand{\ol}[1]{ \overline{#1} } \newcommand{\t}[1]{ \text{#1} } \newcommand{\norm}[1]{ { \lvert {#1} \rvert } } \newcommand{\mag}[1]{ { \left\lvert {#1} \right\rvert } } \newcommand{\smag}[1]{ { \lvert {#1} \rvert } } \newcommand{\card}{ \t{cd} } \newcommand{\dcup}{ \sqcup } \newcommand{\tup}[1]{ \langle {#1} \rangle } \newcommand{\tl}{ \tilde } \newcommand{\wt}{ \widetilde } \newcommand{\To}{ \Rightarrow } \newcommand{\box}[1]{ \fbox{$ #1 $} } \newcommand{\onall}[1]{ { \llbracket {#1} \rrbracket } } \newcommand{\tpar}[1]{ \left( {#1} \right) } \newcommand{\tbrak}[1]{ \left[ {#1} \right] } \newcommand{\tbrac}[1]{ \left\{ {#1} \right\} } \newcommand{\mapsfrom}{ \mathrel{↤} } \newcommand{\then}{ \operatorname{\ ;\ } } \newcommand{\pre}[1]{{ \small `{#1} }} \newcommand{\injects}{ \hookrightarrow } \newcommand{\embeds}{ \hookrightarrow } \newcommand{\surjects}{ \twoheadrightarrow } \newcommand{\projects}{ \twoheadrightarrow } \newcommand{\id}{ \,\mathrm d } \newcommand{\ddn}[3]{ \frac{ {\mathrm d}^{#1} {#2} }{ {\mathrm d} {#3}^{#1} } } \newcommand{\dd}{ \ddn{} } \newcommand{\d}{ \dd{} } \newcommand{\dn}[1]{ \ddn{#1}{} } \newcommand{\Dn}[2]{ \partial^{#1}_{#2} } \newcommand{\D}{ \Dn{} } \newcommand{\ig}[2]{ \int {#2} \, \mathrm d {#1} } \newcommand{\cat}[1]{{ \sf{#1} }} \newcommand{\yo}{よ} \newcommand{\X}{-\!\!\!-\!\!\!} \newcommand{\xlongrightarrow}{ \mathop{ \, \X\longrightarrow \, } } \newcommand{\xxlongrightarrow}{ \mathop{ \, \X\X\longrightarrow \, } } \newcommand{\xxxlongrightarrow}{ \mathop{ \, \X\X\X\longrightarrow \, } } \newcommand{\takenby}[1]{ \overset{#1}{\rightarrow} } \newcommand{\longtakenby}[1]{ \overset{#1}{\longrightarrow} } \newcommand{\xlongtakenby}[1]{ \overset{#1}{\xlongrightarrow} } \newcommand{\xxlongtakenby}[1]{ \overset{#1}{\xxlongrightarrow} } \newcommand{\xxxlongtakenby}[1]{ \overset{#1}{\xxxlongrightarrow} } \newcommand{\apar}{ {-} } \newcommand{\halts}{ {\downarrow} } \newcommand{\loops}{ {\uparrow} } x$ to $\newcommand{\cl}[1]{ \mathcal{#1} } \newcommand{\sc}[1]{ \mathscr{#1} } \newcommand{\bb}[1]{ \mathbb{#1} } \newcommand{\fk}[1]{ \mathfrak{#1} } \renewcommand{\bf}[1]{ \mathbf{#1} } \renewcommand{\sf}[1]{ \mathsf{#1} } \renewcommand{\rm}[1]{ \mathrm{#1} } \newcommand{\floor}[1]{ { \lfloor {#1} \rfloor } } \newcommand{\ceil}[1]{ { \lceil {#1} \rceil } } \newcommand{\ol}[1]{ \overline{#1} } \newcommand{\t}[1]{ \text{#1} } \newcommand{\norm}[1]{ { \lvert {#1} \rvert } } \newcommand{\mag}[1]{ { \left\lvert {#1} \right\rvert } } \newcommand{\smag}[1]{ { \lvert {#1} \rvert } } \newcommand{\card}{ \t{cd} } \newcommand{\dcup}{ \sqcup } \newcommand{\tup}[1]{ \langle {#1} \rangle } \newcommand{\tl}{ \tilde } \newcommand{\wt}{ \widetilde } \newcommand{\To}{ \Rightarrow } \newcommand{\box}[1]{ \fbox{$ #1 $} } \newcommand{\onall}[1]{ { \llbracket {#1} \rrbracket } } \newcommand{\tpar}[1]{ \left( {#1} \right) } \newcommand{\tbrak}[1]{ \left[ {#1} \right] } \newcommand{\tbrac}[1]{ \left\{ {#1} \right\} } \newcommand{\mapsfrom}{ \mathrel{↤} } \newcommand{\then}{ \operatorname{\ ;\ } } \newcommand{\pre}[1]{{ \small `{#1} }} \newcommand{\injects}{ \hookrightarrow } \newcommand{\embeds}{ \hookrightarrow } \newcommand{\surjects}{ \twoheadrightarrow } \newcommand{\projects}{ \twoheadrightarrow } \newcommand{\id}{ \,\mathrm d } \newcommand{\ddn}[3]{ \frac{ {\mathrm d}^{#1} {#2} }{ {\mathrm d} {#3}^{#1} } } \newcommand{\dd}{ \ddn{} } \newcommand{\d}{ \dd{} } \newcommand{\dn}[1]{ \ddn{#1}{} } \newcommand{\Dn}[2]{ \partial^{#1}_{#2} } \newcommand{\D}{ \Dn{} } \newcommand{\ig}[2]{ \int {#2} \, \mathrm d {#1} } \newcommand{\cat}[1]{{ \sf{#1} }} \newcommand{\yo}{よ} \newcommand{\X}{-\!\!\!-\!\!\!} \newcommand{\xlongrightarrow}{ \mathop{ \, \X\longrightarrow \, } } \newcommand{\xxlongrightarrow}{ \mathop{ \, \X\X\longrightarrow \, } } \newcommand{\xxxlongrightarrow}{ \mathop{ \, \X\X\X\longrightarrow \, } } \newcommand{\takenby}[1]{ \overset{#1}{\rightarrow} } \newcommand{\longtakenby}[1]{ \overset{#1}{\longrightarrow} } \newcommand{\xlongtakenby}[1]{ \overset{#1}{\xlongrightarrow} } \newcommand{\xxlongtakenby}[1]{ \overset{#1}{\xxlongrightarrow} } \newcommand{\xxxlongtakenby}[1]{ \overset{#1}{\xxxlongrightarrow} } \newcommand{\apar}{ {-} } \newcommand{\halts}{ {\downarrow} } \newcommand{\loops}{ {\uparrow} } \mag x$ — Also magnitude

For a linear ordering $\newcommand{\cl}[1]{ \mathcal{#1} } \newcommand{\sc}[1]{ \mathscr{#1} } \newcommand{\bb}[1]{ \mathbb{#1} } \newcommand{\fk}[1]{ \mathfrak{#1} } \renewcommand{\bf}[1]{ \mathbf{#1} } \renewcommand{\sf}[1]{ \mathsf{#1} } \renewcommand{\rm}[1]{ \mathrm{#1} } \newcommand{\floor}[1]{ { \lfloor {#1} \rfloor } } \newcommand{\ceil}[1]{ { \lceil {#1} \rceil } } \newcommand{\ol}[1]{ \overline{#1} } \newcommand{\t}[1]{ \text{#1} } \newcommand{\norm}[1]{ { \lvert {#1} \rvert } } \newcommand{\mag}[1]{ { \left\lvert {#1} \right\rvert } } \newcommand{\smag}[1]{ { \lvert {#1} \rvert } } \newcommand{\card}{ \t{cd} } \newcommand{\dcup}{ \sqcup } \newcommand{\tup}[1]{ \langle {#1} \rangle } \newcommand{\tl}{ \tilde } \newcommand{\wt}{ \widetilde } \newcommand{\To}{ \Rightarrow } \newcommand{\box}[1]{ \fbox{$ #1 $} } \newcommand{\onall}[1]{ { \llbracket {#1} \rrbracket } } \newcommand{\tpar}[1]{ \left( {#1} \right) } \newcommand{\tbrak}[1]{ \left[ {#1} \right] } \newcommand{\tbrac}[1]{ \left\{ {#1} \right\} } \newcommand{\mapsfrom}{ \mathrel{↤} } \newcommand{\then}{ \operatorname{\ ;\ } } \newcommand{\pre}[1]{{ \small `{#1} }} \newcommand{\injects}{ \hookrightarrow } \newcommand{\embeds}{ \hookrightarrow } \newcommand{\surjects}{ \twoheadrightarrow } \newcommand{\projects}{ \twoheadrightarrow } \newcommand{\id}{ \,\mathrm d } \newcommand{\ddn}[3]{ \frac{ {\mathrm d}^{#1} {#2} }{ {\mathrm d} {#3}^{#1} } } \newcommand{\dd}{ \ddn{} } \newcommand{\d}{ \dd{} } \newcommand{\dn}[1]{ \ddn{#1}{} } \newcommand{\Dn}[2]{ \partial^{#1}_{#2} } \newcommand{\D}{ \Dn{} } \newcommand{\ig}[2]{ \int {#2} \, \mathrm d {#1} } \newcommand{\cat}[1]{{ \sf{#1} }} \newcommand{\yo}{よ} \newcommand{\X}{-\!\!\!-\!\!\!} \newcommand{\xlongrightarrow}{ \mathop{ \, \X\longrightarrow \, } } \newcommand{\xxlongrightarrow}{ \mathop{ \, \X\X\longrightarrow \, } } \newcommand{\xxxlongrightarrow}{ \mathop{ \, \X\X\X\longrightarrow \, } } \newcommand{\takenby}[1]{ \overset{#1}{\rightarrow} } \newcommand{\longtakenby}[1]{ \overset{#1}{\longrightarrow} } \newcommand{\xlongtakenby}[1]{ \overset{#1}{\xlongrightarrow} } \newcommand{\xxlongtakenby}[1]{ \overset{#1}{\xxlongrightarrow} } \newcommand{\xxxlongtakenby}[1]{ \overset{#1}{\xxxlongrightarrow} } \newcommand{\apar}{ {-} } \newcommand{\halts}{ {\downarrow} } \newcommand{\loops}{ {\uparrow} } (X, \leq)$, the function on $\newcommand{\cl}[1]{ \mathcal{#1} } \newcommand{\sc}[1]{ \mathscr{#1} } \newcommand{\bb}[1]{ \mathbb{#1} } \newcommand{\fk}[1]{ \mathfrak{#1} } \renewcommand{\bf}[1]{ \mathbf{#1} } \renewcommand{\sf}[1]{ \mathsf{#1} } \renewcommand{\rm}[1]{ \mathrm{#1} } \newcommand{\floor}[1]{ { \lfloor {#1} \rfloor } } \newcommand{\ceil}[1]{ { \lceil {#1} \rceil } } \newcommand{\ol}[1]{ \overline{#1} } \newcommand{\t}[1]{ \text{#1} } \newcommand{\norm}[1]{ { \lvert {#1} \rvert } } \newcommand{\mag}[1]{ { \left\lvert {#1} \right\rvert } } \newcommand{\smag}[1]{ { \lvert {#1} \rvert } } \newcommand{\card}{ \t{cd} } \newcommand{\dcup}{ \sqcup } \newcommand{\tup}[1]{ \langle {#1} \rangle } \newcommand{\tl}{ \tilde } \newcommand{\wt}{ \widetilde } \newcommand{\To}{ \Rightarrow } \newcommand{\box}[1]{ \fbox{$ #1 $} } \newcommand{\onall}[1]{ { \llbracket {#1} \rrbracket } } \newcommand{\tpar}[1]{ \left( {#1} \right) } \newcommand{\tbrak}[1]{ \left[ {#1} \right] } \newcommand{\tbrac}[1]{ \left\{ {#1} \right\} } \newcommand{\mapsfrom}{ \mathrel{↤} } \newcommand{\then}{ \operatorname{\ ;\ } } \newcommand{\pre}[1]{{ \small `{#1} }} \newcommand{\injects}{ \hookrightarrow } \newcommand{\embeds}{ \hookrightarrow } \newcommand{\surjects}{ \twoheadrightarrow } \newcommand{\projects}{ \twoheadrightarrow } \newcommand{\id}{ \,\mathrm d } \newcommand{\ddn}[3]{ \frac{ {\mathrm d}^{#1} {#2} }{ {\mathrm d} {#3}^{#1} } } \newcommand{\dd}{ \ddn{} } \newcommand{\d}{ \dd{} } \newcommand{\dn}[1]{ \ddn{#1}{} } \newcommand{\Dn}[2]{ \partial^{#1}_{#2} } \newcommand{\D}{ \Dn{} } \newcommand{\ig}[2]{ \int {#2} \, \mathrm d {#1} } \newcommand{\cat}[1]{{ \sf{#1} }} \newcommand{\yo}{よ} \newcommand{\X}{-\!\!\!-\!\!\!} \newcommand{\xlongrightarrow}{ \mathop{ \, \X\longrightarrow \, } } \newcommand{\xxlongrightarrow}{ \mathop{ \, \X\X\longrightarrow \, } } \newcommand{\xxxlongrightarrow}{ \mathop{ \, \X\X\X\longrightarrow \, } } \newcommand{\takenby}[1]{ \overset{#1}{\rightarrow} } \newcommand{\longtakenby}[1]{ \overset{#1}{\longrightarrow} } \newcommand{\xlongtakenby}[1]{ \overset{#1}{\xlongrightarrow} } \newcommand{\xxlongtakenby}[1]{ \overset{#1}{\xxlongrightarrow} } \newcommand{\xxxlongtakenby}[1]{ \overset{#1}{\xxxlongrightarrow} } \newcommand{\apar}{ {-} } \newcommand{\halts}{ {\downarrow} } \newcommand{\loops}{ {\uparrow} } X^*$ which places a sequence in ascending order (accoridng to $\newcommand{\cl}[1]{ \mathcal{#1} } \newcommand{\sc}[1]{ \mathscr{#1} } \newcommand{\bb}[1]{ \mathbb{#1} } \newcommand{\fk}[1]{ \mathfrak{#1} } \renewcommand{\bf}[1]{ \mathbf{#1} } \renewcommand{\sf}[1]{ \mathsf{#1} } \renewcommand{\rm}[1]{ \mathrm{#1} } \newcommand{\floor}[1]{ { \lfloor {#1} \rfloor } } \newcommand{\ceil}[1]{ { \lceil {#1} \rceil } } \newcommand{\ol}[1]{ \overline{#1} } \newcommand{\t}[1]{ \text{#1} } \newcommand{\norm}[1]{ { \lvert {#1} \rvert } } \newcommand{\mag}[1]{ { \left\lvert {#1} \right\rvert } } \newcommand{\smag}[1]{ { \lvert {#1} \rvert } } \newcommand{\card}{ \t{cd} } \newcommand{\dcup}{ \sqcup } \newcommand{\tup}[1]{ \langle {#1} \rangle } \newcommand{\tl}{ \tilde } \newcommand{\wt}{ \widetilde } \newcommand{\To}{ \Rightarrow } \newcommand{\box}[1]{ \fbox{$ #1 $} } \newcommand{\onall}[1]{ { \llbracket {#1} \rrbracket } } \newcommand{\tpar}[1]{ \left( {#1} \right) } \newcommand{\tbrak}[1]{ \left[ {#1} \right] } \newcommand{\tbrac}[1]{ \left\{ {#1} \right\} } \newcommand{\mapsfrom}{ \mathrel{↤} } \newcommand{\then}{ \operatorname{\ ;\ } } \newcommand{\pre}[1]{{ \small `{#1} }} \newcommand{\injects}{ \hookrightarrow } \newcommand{\embeds}{ \hookrightarrow } \newcommand{\surjects}{ \twoheadrightarrow } \newcommand{\projects}{ \twoheadrightarrow } \newcommand{\id}{ \,\mathrm d } \newcommand{\ddn}[3]{ \frac{ {\mathrm d}^{#1} {#2} }{ {\mathrm d} {#3}^{#1} } } \newcommand{\dd}{ \ddn{} } \newcommand{\d}{ \dd{} } \newcommand{\dn}[1]{ \ddn{#1}{} } \newcommand{\Dn}[2]{ \partial^{#1}_{#2} } \newcommand{\D}{ \Dn{} } \newcommand{\ig}[2]{ \int {#2} \, \mathrm d {#1} } \newcommand{\cat}[1]{{ \sf{#1} }} \newcommand{\yo}{よ} \newcommand{\X}{-\!\!\!-\!\!\!} \newcommand{\xlongrightarrow}{ \mathop{ \, \X\longrightarrow \, } } \newcommand{\xxlongrightarrow}{ \mathop{ \, \X\X\longrightarrow \, } } \newcommand{\xxxlongrightarrow}{ \mathop{ \, \X\X\X\longrightarrow \, } } \newcommand{\takenby}[1]{ \overset{#1}{\rightarrow} } \newcommand{\longtakenby}[1]{ \overset{#1}{\longrightarrow} } \newcommand{\xlongtakenby}[1]{ \overset{#1}{\xlongrightarrow} } \newcommand{\xxlongtakenby}[1]{ \overset{#1}{\xxlongrightarrow} } \newcommand{\xxxlongtakenby}[1]{ \overset{#1}{\xxxlongrightarrow} } \newcommand{\apar}{ {-} } \newcommand{\halts}{ {\downarrow} } \newcommand{\loops}{ {\uparrow} } \leq$)

Any function $\newcommand{\cl}[1]{ \mathcal{#1} } \newcommand{\sc}[1]{ \mathscr{#1} } \newcommand{\bb}[1]{ \mathbb{#1} } \newcommand{\fk}[1]{ \mathfrak{#1} } \renewcommand{\bf}[1]{ \mathbf{#1} } \renewcommand{\sf}[1]{ \mathsf{#1} } \renewcommand{\rm}[1]{ \mathrm{#1} } \newcommand{\floor}[1]{ { \lfloor {#1} \rfloor } } \newcommand{\ceil}[1]{ { \lceil {#1} \rceil } } \newcommand{\ol}[1]{ \overline{#1} } \newcommand{\t}[1]{ \text{#1} } \newcommand{\norm}[1]{ { \lvert {#1} \rvert } } \newcommand{\mag}[1]{ { \left\lvert {#1} \right\rvert } } \newcommand{\smag}[1]{ { \lvert {#1} \rvert } } \newcommand{\card}{ \t{cd} } \newcommand{\dcup}{ \sqcup } \newcommand{\tup}[1]{ \langle {#1} \rangle } \newcommand{\tl}{ \tilde } \newcommand{\wt}{ \widetilde } \newcommand{\To}{ \Rightarrow } \newcommand{\box}[1]{ \fbox{$ #1 $} } \newcommand{\onall}[1]{ { \llbracket {#1} \rrbracket } } \newcommand{\tpar}[1]{ \left( {#1} \right) } \newcommand{\tbrak}[1]{ \left[ {#1} \right] } \newcommand{\tbrac}[1]{ \left\{ {#1} \right\} } \newcommand{\mapsfrom}{ \mathrel{↤} } \newcommand{\then}{ \operatorname{\ ;\ } } \newcommand{\pre}[1]{{ \small `{#1} }} \newcommand{\injects}{ \hookrightarrow } \newcommand{\embeds}{ \hookrightarrow } \newcommand{\surjects}{ \twoheadrightarrow } \newcommand{\projects}{ \twoheadrightarrow } \newcommand{\id}{ \,\mathrm d } \newcommand{\ddn}[3]{ \frac{ {\mathrm d}^{#1} {#2} }{ {\mathrm d} {#3}^{#1} } } \newcommand{\dd}{ \ddn{} } \newcommand{\d}{ \dd{} } \newcommand{\dn}[1]{ \ddn{#1}{} } \newcommand{\Dn}[2]{ \partial^{#1}_{#2} } \newcommand{\D}{ \Dn{} } \newcommand{\ig}[2]{ \int {#2} \, \mathrm d {#1} } \newcommand{\cat}[1]{{ \sf{#1} }} \newcommand{\yo}{よ} \newcommand{\X}{-\!\!\!-\!\!\!} \newcommand{\xlongrightarrow}{ \mathop{ \, \X\longrightarrow \, } } \newcommand{\xxlongrightarrow}{ \mathop{ \, \X\X\longrightarrow \, } } \newcommand{\xxxlongrightarrow}{ \mathop{ \, \X\X\X\longrightarrow \, } } \newcommand{\takenby}[1]{ \overset{#1}{\rightarrow} } \newcommand{\longtakenby}[1]{ \overset{#1}{\longrightarrow} } \newcommand{\xlongtakenby}[1]{ \overset{#1}{\xlongrightarrow} } \newcommand{\xxlongtakenby}[1]{ \overset{#1}{\xxlongrightarrow} } \newcommand{\xxxlongtakenby}[1]{ \overset{#1}{\xxxlongrightarrow} } \newcommand{\apar}{ {-} } \newcommand{\halts}{ {\downarrow} } \newcommand{\loops}{ {\uparrow} } f : X \to X$ which is constant

The mappings $\newcommand{\cl}[1]{ \mathcal{#1} } \newcommand{\sc}[1]{ \mathscr{#1} } \newcommand{\bb}[1]{ \mathbb{#1} } \newcommand{\fk}[1]{ \mathfrak{#1} } \renewcommand{\bf}[1]{ \mathbf{#1} } \renewcommand{\sf}[1]{ \mathsf{#1} } \renewcommand{\rm}[1]{ \mathrm{#1} } \newcommand{\floor}[1]{ { \lfloor {#1} \rfloor } } \newcommand{\ceil}[1]{ { \lceil {#1} \rceil } } \newcommand{\ol}[1]{ \overline{#1} } \newcommand{\t}[1]{ \text{#1} } \newcommand{\norm}[1]{ { \lvert {#1} \rvert } } \newcommand{\mag}[1]{ { \left\lvert {#1} \right\rvert } } \newcommand{\smag}[1]{ { \lvert {#1} \rvert } } \newcommand{\card}{ \t{cd} } \newcommand{\dcup}{ \sqcup } \newcommand{\tup}[1]{ \langle {#1} \rangle } \newcommand{\tl}{ \tilde } \newcommand{\wt}{ \widetilde } \newcommand{\To}{ \Rightarrow } \newcommand{\box}[1]{ \fbox{$ #1 $} } \newcommand{\onall}[1]{ { \llbracket {#1} \rrbracket } } \newcommand{\tpar}[1]{ \left( {#1} \right) } \newcommand{\tbrak}[1]{ \left[ {#1} \right] } \newcommand{\tbrac}[1]{ \left\{ {#1} \right\} } \newcommand{\mapsfrom}{ \mathrel{↤} } \newcommand{\then}{ \operatorname{\ ;\ } } \newcommand{\pre}[1]{{ \small `{#1} }} \newcommand{\injects}{ \hookrightarrow } \newcommand{\embeds}{ \hookrightarrow } \newcommand{\surjects}{ \twoheadrightarrow } \newcommand{\projects}{ \twoheadrightarrow } \newcommand{\id}{ \,\mathrm d } \newcommand{\ddn}[3]{ \frac{ {\mathrm d}^{#1} {#2} }{ {\mathrm d} {#3}^{#1} } } \newcommand{\dd}{ \ddn{} } \newcommand{\d}{ \dd{} } \newcommand{\dn}[1]{ \ddn{#1}{} } \newcommand{\Dn}[2]{ \partial^{#1}_{#2} } \newcommand{\D}{ \Dn{} } \newcommand{\ig}[2]{ \int {#2} \, \mathrm d {#1} } \newcommand{\cat}[1]{{ \sf{#1} }} \newcommand{\yo}{よ} \newcommand{\X}{-\!\!\!-\!\!\!} \newcommand{\xlongrightarrow}{ \mathop{ \, \X\longrightarrow \, } } \newcommand{\xxlongrightarrow}{ \mathop{ \, \X\X\longrightarrow \, } } \newcommand{\xxxlongrightarrow}{ \mathop{ \, \X\X\X\longrightarrow \, } } \newcommand{\takenby}[1]{ \overset{#1}{\rightarrow} } \newcommand{\longtakenby}[1]{ \overset{#1}{\longrightarrow} } \newcommand{\xlongtakenby}[1]{ \overset{#1}{\xlongrightarrow} } \newcommand{\xxlongtakenby}[1]{ \overset{#1}{\xxlongrightarrow} } \newcommand{\xxxlongtakenby}[1]{ \overset{#1}{\xxxlongrightarrow} } \newcommand{\apar}{ {-} } \newcommand{\halts}{ {\downarrow} } \newcommand{\loops}{ {\uparrow} } x \mapsto \text{max}(x, x_0)$ and $\newcommand{\cl}[1]{ \mathcal{#1} } \newcommand{\sc}[1]{ \mathscr{#1} } \newcommand{\bb}[1]{ \mathbb{#1} } \newcommand{\fk}[1]{ \mathfrak{#1} } \renewcommand{\bf}[1]{ \mathbf{#1} } \renewcommand{\sf}[1]{ \mathsf{#1} } \renewcommand{\rm}[1]{ \mathrm{#1} } \newcommand{\floor}[1]{ { \lfloor {#1} \rfloor } } \newcommand{\ceil}[1]{ { \lceil {#1} \rceil } } \newcommand{\ol}[1]{ \overline{#1} } \newcommand{\t}[1]{ \text{#1} } \newcommand{\norm}[1]{ { \lvert {#1} \rvert } } \newcommand{\mag}[1]{ { \left\lvert {#1} \right\rvert } } \newcommand{\smag}[1]{ { \lvert {#1} \rvert } } \newcommand{\card}{ \t{cd} } \newcommand{\dcup}{ \sqcup } \newcommand{\tup}[1]{ \langle {#1} \rangle } \newcommand{\tl}{ \tilde } \newcommand{\wt}{ \widetilde } \newcommand{\To}{ \Rightarrow } \newcommand{\box}[1]{ \fbox{$ #1 $} } \newcommand{\onall}[1]{ { \llbracket {#1} \rrbracket } } \newcommand{\tpar}[1]{ \left( {#1} \right) } \newcommand{\tbrak}[1]{ \left[ {#1} \right] } \newcommand{\tbrac}[1]{ \left\{ {#1} \right\} } \newcommand{\mapsfrom}{ \mathrel{↤} } \newcommand{\then}{ \operatorname{\ ;\ } } \newcommand{\pre}[1]{{ \small `{#1} }} \newcommand{\injects}{ \hookrightarrow } \newcommand{\embeds}{ \hookrightarrow } \newcommand{\surjects}{ \twoheadrightarrow } \newcommand{\projects}{ \twoheadrightarrow } \newcommand{\id}{ \,\mathrm d } \newcommand{\ddn}[3]{ \frac{ {\mathrm d}^{#1} {#2} }{ {\mathrm d} {#3}^{#1} } } \newcommand{\dd}{ \ddn{} } \newcommand{\d}{ \dd{} } \newcommand{\dn}[1]{ \ddn{#1}{} } \newcommand{\Dn}[2]{ \partial^{#1}_{#2} } \newcommand{\D}{ \Dn{} } \newcommand{\ig}[2]{ \int {#2} \, \mathrm d {#1} } \newcommand{\cat}[1]{{ \sf{#1} }} \newcommand{\yo}{よ} \newcommand{\X}{-\!\!\!-\!\!\!} \newcommand{\xlongrightarrow}{ \mathop{ \, \X\longrightarrow \, } } \newcommand{\xxlongrightarrow}{ \mathop{ \, \X\X\longrightarrow \, } } \newcommand{\xxxlongrightarrow}{ \mathop{ \, \X\X\X\longrightarrow \, } } \newcommand{\takenby}[1]{ \overset{#1}{\rightarrow} } \newcommand{\longtakenby}[1]{ \overset{#1}{\longrightarrow} } \newcommand{\xlongtakenby}[1]{ \overset{#1}{\xlongrightarrow} } \newcommand{\xxlongtakenby}[1]{ \overset{#1}{\xxlongrightarrow} } \newcommand{\xxxlongtakenby}[1]{ \overset{#1}{\xxxlongrightarrow} } \newcommand{\apar}{ {-} } \newcommand{\halts}{ {\downarrow} } \newcommand{\loops}{ {\uparrow} } x \mapsto \text{min}(x, x_0)$ (for fixed $\newcommand{\cl}[1]{ \mathcal{#1} } \newcommand{\sc}[1]{ \mathscr{#1} } \newcommand{\bb}[1]{ \mathbb{#1} } \newcommand{\fk}[1]{ \mathfrak{#1} } \renewcommand{\bf}[1]{ \mathbf{#1} } \renewcommand{\sf}[1]{ \mathsf{#1} } \renewcommand{\rm}[1]{ \mathrm{#1} } \newcommand{\floor}[1]{ { \lfloor {#1} \rfloor } } \newcommand{\ceil}[1]{ { \lceil {#1} \rceil } } \newcommand{\ol}[1]{ \overline{#1} } \newcommand{\t}[1]{ \text{#1} } \newcommand{\norm}[1]{ { \lvert {#1} \rvert } } \newcommand{\mag}[1]{ { \left\lvert {#1} \right\rvert } } \newcommand{\smag}[1]{ { \lvert {#1} \rvert } } \newcommand{\card}{ \t{cd} } \newcommand{\dcup}{ \sqcup } \newcommand{\tup}[1]{ \langle {#1} \rangle } \newcommand{\tl}{ \tilde } \newcommand{\wt}{ \widetilde } \newcommand{\To}{ \Rightarrow } \newcommand{\box}[1]{ \fbox{$ #1 $} } \newcommand{\onall}[1]{ { \llbracket {#1} \rrbracket } } \newcommand{\tpar}[1]{ \left( {#1} \right) } \newcommand{\tbrak}[1]{ \left[ {#1} \right] } \newcommand{\tbrac}[1]{ \left\{ {#1} \right\} } \newcommand{\mapsfrom}{ \mathrel{↤} } \newcommand{\then}{ \operatorname{\ ;\ } } \newcommand{\pre}[1]{{ \small `{#1} }} \newcommand{\injects}{ \hookrightarrow } \newcommand{\embeds}{ \hookrightarrow } \newcommand{\surjects}{ \twoheadrightarrow } \newcommand{\projects}{ \twoheadrightarrow } \newcommand{\id}{ \,\mathrm d } \newcommand{\ddn}[3]{ \frac{ {\mathrm d}^{#1} {#2} }{ {\mathrm d} {#3}^{#1} } } \newcommand{\dd}{ \ddn{} } \newcommand{\d}{ \dd{} } \newcommand{\dn}[1]{ \ddn{#1}{} } \newcommand{\Dn}[2]{ \partial^{#1}_{#2} } \newcommand{\D}{ \Dn{} } \newcommand{\ig}[2]{ \int {#2} \, \mathrm d {#1} } \newcommand{\cat}[1]{{ \sf{#1} }} \newcommand{\yo}{よ} \newcommand{\X}{-\!\!\!-\!\!\!} \newcommand{\xlongrightarrow}{ \mathop{ \, \X\longrightarrow \, } } \newcommand{\xxlongrightarrow}{ \mathop{ \, \X\X\longrightarrow \, } } \newcommand{\xxxlongrightarrow}{ \mathop{ \, \X\X\X\longrightarrow \, } } \newcommand{\takenby}[1]{ \overset{#1}{\rightarrow} } \newcommand{\longtakenby}[1]{ \overset{#1}{\longrightarrow} } \newcommand{\xlongtakenby}[1]{ \overset{#1}{\xlongrightarrow} } \newcommand{\xxlongtakenby}[1]{ \overset{#1}{\xxlongrightarrow} } \newcommand{\xxxlongtakenby}[1]{ \overset{#1}{\xxxlongrightarrow} } \newcommand{\apar}{ {-} } \newcommand{\halts}{ {\downarrow} } \newcommand{\loops}{ {\uparrow} } x_0$)

The mapping taking a group $\newcommand{\cl}[1]{ \mathcal{#1} } \newcommand{\sc}[1]{ \mathscr{#1} } \newcommand{\bb}[1]{ \mathbb{#1} } \newcommand{\fk}[1]{ \mathfrak{#1} } \renewcommand{\bf}[1]{ \mathbf{#1} } \renewcommand{\sf}[1]{ \mathsf{#1} } \renewcommand{\rm}[1]{ \mathrm{#1} } \newcommand{\floor}[1]{ { \lfloor {#1} \rfloor } } \newcommand{\ceil}[1]{ { \lceil {#1} \rceil } } \newcommand{\ol}[1]{ \overline{#1} } \newcommand{\t}[1]{ \text{#1} } \newcommand{\norm}[1]{ { \lvert {#1} \rvert } } \newcommand{\mag}[1]{ { \left\lvert {#1} \right\rvert } } \newcommand{\smag}[1]{ { \lvert {#1} \rvert } } \newcommand{\card}{ \t{cd} } \newcommand{\dcup}{ \sqcup } \newcommand{\tup}[1]{ \langle {#1} \rangle } \newcommand{\tl}{ \tilde } \newcommand{\wt}{ \widetilde } \newcommand{\To}{ \Rightarrow } \newcommand{\box}[1]{ \fbox{$ #1 $} } \newcommand{\onall}[1]{ { \llbracket {#1} \rrbracket } } \newcommand{\tpar}[1]{ \left( {#1} \right) } \newcommand{\tbrak}[1]{ \left[ {#1} \right] } \newcommand{\tbrac}[1]{ \left\{ {#1} \right\} } \newcommand{\mapsfrom}{ \mathrel{↤} } \newcommand{\then}{ \operatorname{\ ;\ } } \newcommand{\pre}[1]{{ \small `{#1} }} \newcommand{\injects}{ \hookrightarrow } \newcommand{\embeds}{ \hookrightarrow } \newcommand{\surjects}{ \twoheadrightarrow } \newcommand{\projects}{ \twoheadrightarrow } \newcommand{\id}{ \,\mathrm d } \newcommand{\ddn}[3]{ \frac{ {\mathrm d}^{#1} {#2} }{ {\mathrm d} {#3}^{#1} } } \newcommand{\dd}{ \ddn{} } \newcommand{\d}{ \dd{} } \newcommand{\dn}[1]{ \ddn{#1}{} } \newcommand{\Dn}[2]{ \partial^{#1}_{#2} } \newcommand{\D}{ \Dn{} } \newcommand{\ig}[2]{ \int {#2} \, \mathrm d {#1} } \newcommand{\cat}[1]{{ \sf{#1} }} \newcommand{\yo}{よ} \newcommand{\X}{-\!\!\!-\!\!\!} \newcommand{\xlongrightarrow}{ \mathop{ \, \X\longrightarrow \, } } \newcommand{\xxlongrightarrow}{ \mathop{ \, \X\X\longrightarrow \, } } \newcommand{\xxxlongrightarrow}{ \mathop{ \, \X\X\X\longrightarrow \, } } \newcommand{\takenby}[1]{ \overset{#1}{\rightarrow} } \newcommand{\longtakenby}[1]{ \overset{#1}{\longrightarrow} } \newcommand{\xlongtakenby}[1]{ \overset{#1}{\xlongrightarrow} } \newcommand{\xxlongtakenby}[1]{ \overset{#1}{\xxlongrightarrow} } \newcommand{\xxxlongtakenby}[1]{ \overset{#1}{\xxxlongrightarrow} } \newcommand{\apar}{ {-} } \newcommand{\halts}{ {\downarrow} } \newcommand{\loops}{ {\uparrow} } G$ to its abelianization. (This is a projection/idempotent “up to isomorphism”)

The target of a projection $\newcommand{\cl}[1]{ \mathcal{#1} } \newcommand{\sc}[1]{ \mathscr{#1} } \newcommand{\bb}[1]{ \mathbb{#1} } \newcommand{\fk}[1]{ \mathfrak{#1} } \renewcommand{\bf}[1]{ \mathbf{#1} } \renewcommand{\sf}[1]{ \mathsf{#1} } \renewcommand{\rm}[1]{ \mathrm{#1} } \newcommand{\floor}[1]{ { \lfloor {#1} \rfloor } } \newcommand{\ceil}[1]{ { \lceil {#1} \rceil } } \newcommand{\ol}[1]{ \overline{#1} } \newcommand{\t}[1]{ \text{#1} } \newcommand{\norm}[1]{ { \lvert {#1} \rvert } } \newcommand{\mag}[1]{ { \left\lvert {#1} \right\rvert } } \newcommand{\smag}[1]{ { \lvert {#1} \rvert } } \newcommand{\card}{ \t{cd} } \newcommand{\dcup}{ \sqcup } \newcommand{\tup}[1]{ \langle {#1} \rangle } \newcommand{\tl}{ \tilde } \newcommand{\wt}{ \widetilde } \newcommand{\To}{ \Rightarrow } \newcommand{\box}[1]{ \fbox{$ #1 $} } \newcommand{\onall}[1]{ { \llbracket {#1} \rrbracket } } \newcommand{\tpar}[1]{ \left( {#1} \right) } \newcommand{\tbrak}[1]{ \left[ {#1} \right] } \newcommand{\tbrac}[1]{ \left\{ {#1} \right\} } \newcommand{\mapsfrom}{ \mathrel{↤} } \newcommand{\then}{ \operatorname{\ ;\ } } \newcommand{\pre}[1]{{ \small `{#1} }} \newcommand{\injects}{ \hookrightarrow } \newcommand{\embeds}{ \hookrightarrow } \newcommand{\surjects}{ \twoheadrightarrow } \newcommand{\projects}{ \twoheadrightarrow } \newcommand{\id}{ \,\mathrm d } \newcommand{\ddn}[3]{ \frac{ {\mathrm d}^{#1} {#2} }{ {\mathrm d} {#3}^{#1} } } \newcommand{\dd}{ \ddn{} } \newcommand{\d}{ \dd{} } \newcommand{\dn}[1]{ \ddn{#1}{} } \newcommand{\Dn}[2]{ \partial^{#1}_{#2} } \newcommand{\D}{ \Dn{} } \newcommand{\ig}[2]{ \int {#2} \, \mathrm d {#1} } \newcommand{\cat}[1]{{ \sf{#1} }} \newcommand{\yo}{よ} \newcommand{\X}{-\!\!\!-\!\!\!} \newcommand{\xlongrightarrow}{ \mathop{ \, \X\longrightarrow \, } } \newcommand{\xxlongrightarrow}{ \mathop{ \, \X\X\longrightarrow \, } } \newcommand{\xxxlongrightarrow}{ \mathop{ \, \X\X\X\longrightarrow \, } } \newcommand{\takenby}[1]{ \overset{#1}{\rightarrow} } \newcommand{\longtakenby}[1]{ \overset{#1}{\longrightarrow} } \newcommand{\xlongtakenby}[1]{ \overset{#1}{\xlongrightarrow} } \newcommand{\xxlongtakenby}[1]{ \overset{#1}{\xxlongrightarrow} } \newcommand{\xxxlongtakenby}[1]{ \overset{#1}{\xxxlongrightarrow} } \newcommand{\apar}{ {-} } \newcommand{\halts}{ {\downarrow} } \newcommand{\loops}{ {\uparrow} } f$ is exactly $\newcommand{\cl}[1]{ \mathcal{#1} } \newcommand{\sc}[1]{ \mathscr{#1} } \newcommand{\bb}[1]{ \mathbb{#1} } \newcommand{\fk}[1]{ \mathfrak{#1} } \renewcommand{\bf}[1]{ \mathbf{#1} } \renewcommand{\sf}[1]{ \mathsf{#1} } \renewcommand{\rm}[1]{ \mathrm{#1} } \newcommand{\floor}[1]{ { \lfloor {#1} \rfloor } } \newcommand{\ceil}[1]{ { \lceil {#1} \rceil } } \newcommand{\ol}[1]{ \overline{#1} } \newcommand{\t}[1]{ \text{#1} } \newcommand{\norm}[1]{ { \lvert {#1} \rvert } } \newcommand{\mag}[1]{ { \left\lvert {#1} \right\rvert } } \newcommand{\smag}[1]{ { \lvert {#1} \rvert } } \newcommand{\card}{ \t{cd} } \newcommand{\dcup}{ \sqcup } \newcommand{\tup}[1]{ \langle {#1} \rangle } \newcommand{\tl}{ \tilde } \newcommand{\wt}{ \widetilde } \newcommand{\To}{ \Rightarrow } \newcommand{\box}[1]{ \fbox{$ #1 $} } \newcommand{\onall}[1]{ { \llbracket {#1} \rrbracket } } \newcommand{\tpar}[1]{ \left( {#1} \right) } \newcommand{\tbrak}[1]{ \left[ {#1} \right] } \newcommand{\tbrac}[1]{ \left\{ {#1} \right\} } \newcommand{\mapsfrom}{ \mathrel{↤} } \newcommand{\then}{ \operatorname{\ ;\ } } \newcommand{\pre}[1]{{ \small `{#1} }} \newcommand{\injects}{ \hookrightarrow } \newcommand{\embeds}{ \hookrightarrow } \newcommand{\surjects}{ \twoheadrightarrow } \newcommand{\projects}{ \twoheadrightarrow } \newcommand{\id}{ \,\mathrm d } \newcommand{\ddn}[3]{ \frac{ {\mathrm d}^{#1} {#2} }{ {\mathrm d} {#3}^{#1} } } \newcommand{\dd}{ \ddn{} } \newcommand{\d}{ \dd{} } \newcommand{\dn}[1]{ \ddn{#1}{} } \newcommand{\Dn}[2]{ \partial^{#1}_{#2} } \newcommand{\D}{ \Dn{} } \newcommand{\ig}[2]{ \int {#2} \, \mathrm d {#1} } \newcommand{\cat}[1]{{ \sf{#1} }} \newcommand{\yo}{よ} \newcommand{\X}{-\!\!\!-\!\!\!} \newcommand{\xlongrightarrow}{ \mathop{ \, \X\longrightarrow \, } } \newcommand{\xxlongrightarrow}{ \mathop{ \, \X\X\longrightarrow \, } } \newcommand{\xxxlongrightarrow}{ \mathop{ \, \X\X\X\longrightarrow \, } } \newcommand{\takenby}[1]{ \overset{#1}{\rightarrow} } \newcommand{\longtakenby}[1]{ \overset{#1}{\longrightarrow} } \newcommand{\xlongtakenby}[1]{ \overset{#1}{\xlongrightarrow} } \newcommand{\xxlongtakenby}[1]{ \overset{#1}{\xxlongrightarrow} } \newcommand{\xxxlongtakenby}[1]{ \overset{#1}{\xxxlongrightarrow} } \newcommand{\apar}{ {-} } \newcommand{\halts}{ {\downarrow} } \newcommand{\loops}{ {\uparrow} } \text{Im}(f)$ Projection condition #2 entails that $\newcommand{\cl}[1]{ \mathcal{#1} } \newcommand{\sc}[1]{ \mathscr{#1} } \newcommand{\bb}[1]{ \mathbb{#1} } \newcommand{\fk}[1]{ \mathfrak{#1} } \renewcommand{\bf}[1]{ \mathbf{#1} } \renewcommand{\sf}[1]{ \mathsf{#1} } \renewcommand{\rm}[1]{ \mathrm{#1} } \newcommand{\floor}[1]{ { \lfloor {#1} \rfloor } } \newcommand{\ceil}[1]{ { \lceil {#1} \rceil } } \newcommand{\ol}[1]{ \overline{#1} } \newcommand{\t}[1]{ \text{#1} } \newcommand{\norm}[1]{ { \lvert {#1} \rvert } } \newcommand{\mag}[1]{ { \left\lvert {#1} \right\rvert } } \newcommand{\smag}[1]{ { \lvert {#1} \rvert } } \newcommand{\card}{ \t{cd} } \newcommand{\dcup}{ \sqcup } \newcommand{\tup}[1]{ \langle {#1} \rangle } \newcommand{\tl}{ \tilde } \newcommand{\wt}{ \widetilde } \newcommand{\To}{ \Rightarrow } \newcommand{\box}[1]{ \fbox{$ #1 $} } \newcommand{\onall}[1]{ { \llbracket {#1} \rrbracket } } \newcommand{\tpar}[1]{ \left( {#1} \right) } \newcommand{\tbrak}[1]{ \left[ {#1} \right] } \newcommand{\tbrac}[1]{ \left\{ {#1} \right\} } \newcommand{\mapsfrom}{ \mathrel{↤} } \newcommand{\then}{ \operatorname{\ ;\ } } \newcommand{\pre}[1]{{ \small `{#1} }} \newcommand{\injects}{ \hookrightarrow } \newcommand{\embeds}{ \hookrightarrow } \newcommand{\surjects}{ \twoheadrightarrow } \newcommand{\projects}{ \twoheadrightarrow } \newcommand{\id}{ \,\mathrm d } \newcommand{\ddn}[3]{ \frac{ {\mathrm d}^{#1} {#2} }{ {\mathrm d} {#3}^{#1} } } \newcommand{\dd}{ \ddn{} } \newcommand{\d}{ \dd{} } \newcommand{\dn}[1]{ \ddn{#1}{} } \newcommand{\Dn}[2]{ \partial^{#1}_{#2} } \newcommand{\D}{ \Dn{} } \newcommand{\ig}[2]{ \int {#2} \, \mathrm d {#1} } \newcommand{\cat}[1]{{ \sf{#1} }} \newcommand{\yo}{よ} \newcommand{\X}{-\!\!\!-\!\!\!} \newcommand{\xlongrightarrow}{ \mathop{ \, \X\longrightarrow \, } } \newcommand{\xxlongrightarrow}{ \mathop{ \, \X\X\longrightarrow \, } } \newcommand{\xxxlongrightarrow}{ \mathop{ \, \X\X\X\longrightarrow \, } } \newcommand{\takenby}[1]{ \overset{#1}{\rightarrow} } \newcommand{\longtakenby}[1]{ \overset{#1}{\longrightarrow} } \newcommand{\xlongtakenby}[1]{ \overset{#1}{\xlongrightarrow} } \newcommand{\xxlongtakenby}[1]{ \overset{#1}{\xxlongrightarrow} } \newcommand{\xxxlongtakenby}[1]{ \overset{#1}{\xxxlongrightarrow} } \newcommand{\apar}{ {-} } \newcommand{\halts}{ {\downarrow} } \newcommand{\loops}{ {\uparrow} } f(Y) = Y$ and hence $\newcommand{\cl}[1]{ \mathcal{#1} } \newcommand{\sc}[1]{ \mathscr{#1} } \newcommand{\bb}[1]{ \mathbb{#1} } \newcommand{\fk}[1]{ \mathfrak{#1} } \renewcommand{\bf}[1]{ \mathbf{#1} } \renewcommand{\sf}[1]{ \mathsf{#1} } \renewcommand{\rm}[1]{ \mathrm{#1} } \newcommand{\floor}[1]{ { \lfloor {#1} \rfloor } } \newcommand{\ceil}[1]{ { \lceil {#1} \rceil } } \newcommand{\ol}[1]{ \overline{#1} } \newcommand{\t}[1]{ \text{#1} } \newcommand{\norm}[1]{ { \lvert {#1} \rvert } } \newcommand{\mag}[1]{ { \left\lvert {#1} \right\rvert } } \newcommand{\smag}[1]{ { \lvert {#1} \rvert } } \newcommand{\card}{ \t{cd} } \newcommand{\dcup}{ \sqcup } \newcommand{\tup}[1]{ \langle {#1} \rangle } \newcommand{\tl}{ \tilde } \newcommand{\wt}{ \widetilde } \newcommand{\To}{ \Rightarrow } \newcommand{\box}[1]{ \fbox{$ #1 $} } \newcommand{\onall}[1]{ { \llbracket {#1} \rrbracket } } \newcommand{\tpar}[1]{ \left( {#1} \right) } \newcommand{\tbrak}[1]{ \left[ {#1} \right] } \newcommand{\tbrac}[1]{ \left\{ {#1} \right\} } \newcommand{\mapsfrom}{ \mathrel{↤} } \newcommand{\then}{ \operatorname{\ ;\ } } \newcommand{\pre}[1]{{ \small `{#1} }} \newcommand{\injects}{ \hookrightarrow } \newcommand{\embeds}{ \hookrightarrow } \newcommand{\surjects}{ \twoheadrightarrow } \newcommand{\projects}{ \twoheadrightarrow } \newcommand{\id}{ \,\mathrm d } \newcommand{\ddn}[3]{ \frac{ {\mathrm d}^{#1} {#2} }{ {\mathrm d} {#3}^{#1} } } \newcommand{\dd}{ \ddn{} } \newcommand{\d}{ \dd{} } \newcommand{\dn}[1]{ \ddn{#1}{} } \newcommand{\Dn}[2]{ \partial^{#1}_{#2} } \newcommand{\D}{ \Dn{} } \newcommand{\ig}[2]{ \int {#2} \, \mathrm d {#1} } \newcommand{\cat}[1]{{ \sf{#1} }} \newcommand{\yo}{よ} \newcommand{\X}{-\!\!\!-\!\!\!} \newcommand{\xlongrightarrow}{ \mathop{ \, \X\longrightarrow \, } } \newcommand{\xxlongrightarrow}{ \mathop{ \, \X\X\longrightarrow \, } } \newcommand{\xxxlongrightarrow}{ \mathop{ \, \X\X\X\longrightarrow \, } } \newcommand{\takenby}[1]{ \overset{#1}{\rightarrow} } \newcommand{\longtakenby}[1]{ \overset{#1}{\longrightarrow} } \newcommand{\xlongtakenby}[1]{ \overset{#1}{\xlongrightarrow} } \newcommand{\xxlongtakenby}[1]{ \overset{#1}{\xxlongrightarrow} } \newcommand{\xxxlongtakenby}[1]{ \overset{#1}{\xxxlongrightarrow} } \newcommand{\apar}{ {-} } \newcommand{\halts}{ {\downarrow} } \newcommand{\loops}{ {\uparrow} } f(X) \supseteq Y$ and hence, with projection condition #1, $\newcommand{\cl}[1]{ \mathcal{#1} } \newcommand{\sc}[1]{ \mathscr{#1} } \newcommand{\bb}[1]{ \mathbb{#1} } \newcommand{\fk}[1]{ \mathfrak{#1} } \renewcommand{\bf}[1]{ \mathbf{#1} } \renewcommand{\sf}[1]{ \mathsf{#1} } \renewcommand{\rm}[1]{ \mathrm{#1} } \newcommand{\floor}[1]{ { \lfloor {#1} \rfloor } } \newcommand{\ceil}[1]{ { \lceil {#1} \rceil } } \newcommand{\ol}[1]{ \overline{#1} } \newcommand{\t}[1]{ \text{#1} } \newcommand{\norm}[1]{ { \lvert {#1} \rvert } } \newcommand{\mag}[1]{ { \left\lvert {#1} \right\rvert } } \newcommand{\smag}[1]{ { \lvert {#1} \rvert } } \newcommand{\card}{ \t{cd} } \newcommand{\dcup}{ \sqcup } \newcommand{\tup}[1]{ \langle {#1} \rangle } \newcommand{\tl}{ \tilde } \newcommand{\wt}{ \widetilde } \newcommand{\To}{ \Rightarrow } \newcommand{\box}[1]{ \fbox{$ #1 $} } \newcommand{\onall}[1]{ { \llbracket {#1} \rrbracket } } \newcommand{\tpar}[1]{ \left( {#1} \right) } \newcommand{\tbrak}[1]{ \left[ {#1} \right] } \newcommand{\tbrac}[1]{ \left\{ {#1} \right\} } \newcommand{\mapsfrom}{ \mathrel{↤} } \newcommand{\then}{ \operatorname{\ ;\ } } \newcommand{\pre}[1]{{ \small `{#1} }} \newcommand{\injects}{ \hookrightarrow } \newcommand{\embeds}{ \hookrightarrow } \newcommand{\surjects}{ \twoheadrightarrow } \newcommand{\projects}{ \twoheadrightarrow } \newcommand{\id}{ \,\mathrm d } \newcommand{\ddn}[3]{ \frac{ {\mathrm d}^{#1} {#2} }{ {\mathrm d} {#3}^{#1} } } \newcommand{\dd}{ \ddn{} } \newcommand{\d}{ \dd{} } \newcommand{\dn}[1]{ \ddn{#1}{} } \newcommand{\Dn}[2]{ \partial^{#1}_{#2} } \newcommand{\D}{ \Dn{} } \newcommand{\ig}[2]{ \int {#2} \, \mathrm d {#1} } \newcommand{\cat}[1]{{ \sf{#1} }} \newcommand{\yo}{よ} \newcommand{\X}{-\!\!\!-\!\!\!} \newcommand{\xlongrightarrow}{ \mathop{ \, \X\longrightarrow \, } } \newcommand{\xxlongrightarrow}{ \mathop{ \, \X\X\longrightarrow \, } } \newcommand{\xxxlongrightarrow}{ \mathop{ \, \X\X\X\longrightarrow \, } } \newcommand{\takenby}[1]{ \overset{#1}{\rightarrow} } \newcommand{\longtakenby}[1]{ \overset{#1}{\longrightarrow} } \newcommand{\xlongtakenby}[1]{ \overset{#1}{\xlongrightarrow} } \newcommand{\xxlongtakenby}[1]{ \overset{#1}{\xxlongrightarrow} } \newcommand{\xxxlongtakenby}[1]{ \overset{#1}{\xxxlongrightarrow} } \newcommand{\apar}{ {-} } \newcommand{\halts}{ {\downarrow} } \newcommand{\loops}{ {\uparrow} } f(X) = Y$.

Idempotents and projections are the same thing Say $\newcommand{\cl}[1]{ \mathcal{#1} } \newcommand{\sc}[1]{ \mathscr{#1} } \newcommand{\bb}[1]{ \mathbb{#1} } \newcommand{\fk}[1]{ \mathfrak{#1} } \renewcommand{\bf}[1]{ \mathbf{#1} } \renewcommand{\sf}[1]{ \mathsf{#1} } \renewcommand{\rm}[1]{ \mathrm{#1} } \newcommand{\floor}[1]{ { \lfloor {#1} \rfloor } } \newcommand{\ceil}[1]{ { \lceil {#1} \rceil } } \newcommand{\ol}[1]{ \overline{#1} } \newcommand{\t}[1]{ \text{#1} } \newcommand{\norm}[1]{ { \lvert {#1} \rvert } } \newcommand{\mag}[1]{ { \left\lvert {#1} \right\rvert } } \newcommand{\smag}[1]{ { \lvert {#1} \rvert } } \newcommand{\card}{ \t{cd} } \newcommand{\dcup}{ \sqcup } \newcommand{\tup}[1]{ \langle {#1} \rangle } \newcommand{\tl}{ \tilde } \newcommand{\wt}{ \widetilde } \newcommand{\To}{ \Rightarrow } \newcommand{\box}[1]{ \fbox{$ #1 $} } \newcommand{\onall}[1]{ { \llbracket {#1} \rrbracket } } \newcommand{\tpar}[1]{ \left( {#1} \right) } \newcommand{\tbrak}[1]{ \left[ {#1} \right] } \newcommand{\tbrac}[1]{ \left\{ {#1} \right\} } \newcommand{\mapsfrom}{ \mathrel{↤} } \newcommand{\then}{ \operatorname{\ ;\ } } \newcommand{\pre}[1]{{ \small `{#1} }} \newcommand{\injects}{ \hookrightarrow } \newcommand{\embeds}{ \hookrightarrow } \newcommand{\surjects}{ \twoheadrightarrow } \newcommand{\projects}{ \twoheadrightarrow } \newcommand{\id}{ \,\mathrm d } \newcommand{\ddn}[3]{ \frac{ {\mathrm d}^{#1} {#2} }{ {\mathrm d} {#3}^{#1} } } \newcommand{\dd}{ \ddn{} } \newcommand{\d}{ \dd{} } \newcommand{\dn}[1]{ \ddn{#1}{} } \newcommand{\Dn}[2]{ \partial^{#1}_{#2} } \newcommand{\D}{ \Dn{} } \newcommand{\ig}[2]{ \int {#2} \, \mathrm d {#1} } \newcommand{\cat}[1]{{ \sf{#1} }} \newcommand{\yo}{よ} \newcommand{\X}{-\!\!\!-\!\!\!} \newcommand{\xlongrightarrow}{ \mathop{ \, \X\longrightarrow \, } } \newcommand{\xxlongrightarrow}{ \mathop{ \, \X\X\longrightarrow \, } } \newcommand{\xxxlongrightarrow}{ \mathop{ \, \X\X\X\longrightarrow \, } } \newcommand{\takenby}[1]{ \overset{#1}{\rightarrow} } \newcommand{\longtakenby}[1]{ \overset{#1}{\longrightarrow} } \newcommand{\xlongtakenby}[1]{ \overset{#1}{\xlongrightarrow} } \newcommand{\xxlongtakenby}[1]{ \overset{#1}{\xxlongrightarrow} } \newcommand{\xxxlongtakenby}[1]{ \overset{#1}{\xxxlongrightarrow} } \newcommand{\apar}{ {-} } \newcommand{\halts}{ {\downarrow} } \newcommand{\loops}{ {\uparrow} } f$ is idempotent. By property (1) we know its target is $\newcommand{\cl}[1]{ \mathcal{#1} } \newcommand{\sc}[1]{ \mathscr{#1} } \newcommand{\bb}[1]{ \mathbb{#1} } \newcommand{\fk}[1]{ \mathfrak{#1} } \renewcommand{\bf}[1]{ \mathbf{#1} } \renewcommand{\sf}[1]{ \mathsf{#1} } \renewcommand{\rm}[1]{ \mathrm{#1} } \newcommand{\floor}[1]{ { \lfloor {#1} \rfloor } } \newcommand{\ceil}[1]{ { \lceil {#1} \rceil } } \newcommand{\ol}[1]{ \overline{#1} } \newcommand{\t}[1]{ \text{#1} } \newcommand{\norm}[1]{ { \lvert {#1} \rvert } } \newcommand{\mag}[1]{ { \left\lvert {#1} \right\rvert } } \newcommand{\smag}[1]{ { \lvert {#1} \rvert } } \newcommand{\card}{ \t{cd} } \newcommand{\dcup}{ \sqcup } \newcommand{\tup}[1]{ \langle {#1} \rangle } \newcommand{\tl}{ \tilde } \newcommand{\wt}{ \widetilde } \newcommand{\To}{ \Rightarrow } \newcommand{\box}[1]{ \fbox{$ #1 $} } \newcommand{\onall}[1]{ { \llbracket {#1} \rrbracket } } \newcommand{\tpar}[1]{ \left( {#1} \right) } \newcommand{\tbrak}[1]{ \left[ {#1} \right] } \newcommand{\tbrac}[1]{ \left\{ {#1} \right\} } \newcommand{\mapsfrom}{ \mathrel{↤} } \newcommand{\then}{ \operatorname{\ ;\ } } \newcommand{\pre}[1]{{ \small `{#1} }} \newcommand{\injects}{ \hookrightarrow } \newcommand{\embeds}{ \hookrightarrow } \newcommand{\surjects}{ \twoheadrightarrow } \newcommand{\projects}{ \twoheadrightarrow } \newcommand{\id}{ \,\mathrm d } \newcommand{\ddn}[3]{ \frac{ {\mathrm d}^{#1} {#2} }{ {\mathrm d} {#3}^{#1} } } \newcommand{\dd}{ \ddn{} } \newcommand{\d}{ \dd{} } \newcommand{\dn}[1]{ \ddn{#1}{} } \newcommand{\Dn}[2]{ \partial^{#1}_{#2} } \newcommand{\D}{ \Dn{} } \newcommand{\ig}[2]{ \int {#2} \, \mathrm d {#1} } \newcommand{\cat}[1]{{ \sf{#1} }} \newcommand{\yo}{よ} \newcommand{\X}{-\!\!\!-\!\!\!} \newcommand{\xlongrightarrow}{ \mathop{ \, \X\longrightarrow \, } } \newcommand{\xxlongrightarrow}{ \mathop{ \, \X\X\longrightarrow \, } } \newcommand{\xxxlongrightarrow}{ \mathop{ \, \X\X\X\longrightarrow \, } } \newcommand{\takenby}[1]{ \overset{#1}{\rightarrow} } \newcommand{\longtakenby}[1]{ \overset{#1}{\longrightarrow} } \newcommand{\xlongtakenby}[1]{ \overset{#1}{\xlongrightarrow} } \newcommand{\xxlongtakenby}[1]{ \overset{#1}{\xxlongrightarrow} } \newcommand{\xxxlongtakenby}[1]{ \overset{#1}{\xxxlongrightarrow} } \newcommand{\apar}{ {-} } \newcommand{\halts}{ {\downarrow} } \newcommand{\loops}{ {\uparrow} } \text{Im}(f)$ and therefore every $\newcommand{\cl}[1]{ \mathcal{#1} } \newcommand{\sc}[1]{ \mathscr{#1} } \newcommand{\bb}[1]{ \mathbb{#1} } \newcommand{\fk}[1]{ \mathfrak{#1} } \renewcommand{\bf}[1]{ \mathbf{#1} } \renewcommand{\sf}[1]{ \mathsf{#1} } \renewcommand{\rm}[1]{ \mathrm{#1} } \newcommand{\floor}[1]{ { \lfloor {#1} \rfloor } } \newcommand{\ceil}[1]{ { \lceil {#1} \rceil } } \newcommand{\ol}[1]{ \overline{#1} } \newcommand{\t}[1]{ \text{#1} } \newcommand{\norm}[1]{ { \lvert {#1} \rvert } } \newcommand{\mag}[1]{ { \left\lvert {#1} \right\rvert } } \newcommand{\smag}[1]{ { \lvert {#1} \rvert } } \newcommand{\card}{ \t{cd} } \newcommand{\dcup}{ \sqcup } \newcommand{\tup}[1]{ \langle {#1} \rangle } \newcommand{\tl}{ \tilde } \newcommand{\wt}{ \widetilde } \newcommand{\To}{ \Rightarrow } \newcommand{\box}[1]{ \fbox{$ #1 $} } \newcommand{\onall}[1]{ { \llbracket {#1} \rrbracket } } \newcommand{\tpar}[1]{ \left( {#1} \right) } \newcommand{\tbrak}[1]{ \left[ {#1} \right] } \newcommand{\tbrac}[1]{ \left\{ {#1} \right\} } \newcommand{\mapsfrom}{ \mathrel{↤} } \newcommand{\then}{ \operatorname{\ ;\ } } \newcommand{\pre}[1]{{ \small `{#1} }} \newcommand{\injects}{ \hookrightarrow } \newcommand{\embeds}{ \hookrightarrow } \newcommand{\surjects}{ \twoheadrightarrow } \newcommand{\projects}{ \twoheadrightarrow } \newcommand{\id}{ \,\mathrm d } \newcommand{\ddn}[3]{ \frac{ {\mathrm d}^{#1} {#2} }{ {\mathrm d} {#3}^{#1} } } \newcommand{\dd}{ \ddn{} } \newcommand{\d}{ \dd{} } \newcommand{\dn}[1]{ \ddn{#1}{} } \newcommand{\Dn}[2]{ \partial^{#1}_{#2} } \newcommand{\D}{ \Dn{} } \newcommand{\ig}[2]{ \int {#2} \, \mathrm d {#1} } \newcommand{\cat}[1]{{ \sf{#1} }} \newcommand{\yo}{よ} \newcommand{\X}{-\!\!\!-\!\!\!} \newcommand{\xlongrightarrow}{ \mathop{ \, \X\longrightarrow \, } } \newcommand{\xxlongrightarrow}{ \mathop{ \, \X\X\longrightarrow \, } } \newcommand{\xxxlongrightarrow}{ \mathop{ \, \X\X\X\longrightarrow \, } } \newcommand{\takenby}[1]{ \overset{#1}{\rightarrow} } \newcommand{\longtakenby}[1]{ \overset{#1}{\longrightarrow} } \newcommand{\xlongtakenby}[1]{ \overset{#1}{\xlongrightarrow} } \newcommand{\xxlongtakenby}[1]{ \overset{#1}{\xxlongrightarrow} } \newcommand{\xxxlongtakenby}[1]{ \overset{#1}{\xxxlongrightarrow} } \newcommand{\apar}{ {-} } \newcommand{\halts}{ {\downarrow} } \newcommand{\loops}{ {\uparrow} } f$ maps into its target, satisfying projection condition #1. To show condition #2, take a $\newcommand{\cl}[1]{ \mathcal{#1} } \newcommand{\sc}[1]{ \mathscr{#1} } \newcommand{\bb}[1]{ \mathbb{#1} } \newcommand{\fk}[1]{ \mathfrak{#1} } \renewcommand{\bf}[1]{ \mathbf{#1} } \renewcommand{\sf}[1]{ \mathsf{#1} } \renewcommand{\rm}[1]{ \mathrm{#1} } \newcommand{\floor}[1]{ { \lfloor {#1} \rfloor } } \newcommand{\ceil}[1]{ { \lceil {#1} \rceil } } \newcommand{\ol}[1]{ \overline{#1} } \newcommand{\t}[1]{ \text{#1} } \newcommand{\norm}[1]{ { \lvert {#1} \rvert } } \newcommand{\mag}[1]{ { \left\lvert {#1} \right\rvert } } \newcommand{\smag}[1]{ { \lvert {#1} \rvert } } \newcommand{\card}{ \t{cd} } \newcommand{\dcup}{ \sqcup } \newcommand{\tup}[1]{ \langle {#1} \rangle } \newcommand{\tl}{ \tilde } \newcommand{\wt}{ \widetilde } \newcommand{\To}{ \Rightarrow } \newcommand{\box}[1]{ \fbox{$ #1 $} } \newcommand{\onall}[1]{ { \llbracket {#1} \rrbracket } } \newcommand{\tpar}[1]{ \left( {#1} \right) } \newcommand{\tbrak}[1]{ \left[ {#1} \right] } \newcommand{\tbrac}[1]{ \left\{ {#1} \right\} } \newcommand{\mapsfrom}{ \mathrel{↤} } \newcommand{\then}{ \operatorname{\ ;\ } } \newcommand{\pre}[1]{{ \small `{#1} }} \newcommand{\injects}{ \hookrightarrow } \newcommand{\embeds}{ \hookrightarrow } \newcommand{\surjects}{ \twoheadrightarrow } \newcommand{\projects}{ \twoheadrightarrow } \newcommand{\id}{ \,\mathrm d } \newcommand{\ddn}[3]{ \frac{ {\mathrm d}^{#1} {#2} }{ {\mathrm d} {#3}^{#1} } } \newcommand{\dd}{ \ddn{} } \newcommand{\d}{ \dd{} } \newcommand{\dn}[1]{ \ddn{#1}{} } \newcommand{\Dn}[2]{ \partial^{#1}_{#2} } \newcommand{\D}{ \Dn{} } \newcommand{\ig}[2]{ \int {#2} \, \mathrm d {#1} } \newcommand{\cat}[1]{{ \sf{#1} }} \newcommand{\yo}{よ} \newcommand{\X}{-\!\!\!-\!\!\!} \newcommand{\xlongrightarrow}{ \mathop{ \, \X\longrightarrow \, } } \newcommand{\xxlongrightarrow}{ \mathop{ \, \X\X\longrightarrow \, } } \newcommand{\xxxlongrightarrow}{ \mathop{ \, \X\X\X\longrightarrow \, } } \newcommand{\takenby}[1]{ \overset{#1}{\rightarrow} } \newcommand{\longtakenby}[1]{ \overset{#1}{\longrightarrow} } \newcommand{\xlongtakenby}[1]{ \overset{#1}{\xlongrightarrow} } \newcommand{\xxlongtakenby}[1]{ \overset{#1}{\xxlongrightarrow} } \newcommand{\xxxlongtakenby}[1]{ \overset{#1}{\xxxlongrightarrow} } \newcommand{\apar}{ {-} } \newcommand{\halts}{ {\downarrow} } \newcommand{\loops}{ {\uparrow} } y$ in the target $\newcommand{\cl}[1]{ \mathcal{#1} } \newcommand{\sc}[1]{ \mathscr{#1} } \newcommand{\bb}[1]{ \mathbb{#1} } \newcommand{\fk}[1]{ \mathfrak{#1} } \renewcommand{\bf}[1]{ \mathbf{#1} } \renewcommand{\sf}[1]{ \mathsf{#1} } \renewcommand{\rm}[1]{ \mathrm{#1} } \newcommand{\floor}[1]{ { \lfloor {#1} \rfloor } } \newcommand{\ceil}[1]{ { \lceil {#1} \rceil } } \newcommand{\ol}[1]{ \overline{#1} } \newcommand{\t}[1]{ \text{#1} } \newcommand{\norm}[1]{ { \lvert {#1} \rvert } } \newcommand{\mag}[1]{ { \left\lvert {#1} \right\rvert } } \newcommand{\smag}[1]{ { \lvert {#1} \rvert } } \newcommand{\card}{ \t{cd} } \newcommand{\dcup}{ \sqcup } \newcommand{\tup}[1]{ \langle {#1} \rangle } \newcommand{\tl}{ \tilde } \newcommand{\wt}{ \widetilde } \newcommand{\To}{ \Rightarrow } \newcommand{\box}[1]{ \fbox{$ #1 $} } \newcommand{\onall}[1]{ { \llbracket {#1} \rrbracket } } \newcommand{\tpar}[1]{ \left( {#1} \right) } \newcommand{\tbrak}[1]{ \left[ {#1} \right] } \newcommand{\tbrac}[1]{ \left\{ {#1} \right\} } \newcommand{\mapsfrom}{ \mathrel{↤} } \newcommand{\then}{ \operatorname{\ ;\ } } \newcommand{\pre}[1]{{ \small `{#1} }} \newcommand{\injects}{ \hookrightarrow } \newcommand{\embeds}{ \hookrightarrow } \newcommand{\surjects}{ \twoheadrightarrow } \newcommand{\projects}{ \twoheadrightarrow } \newcommand{\id}{ \,\mathrm d } \newcommand{\ddn}[3]{ \frac{ {\mathrm d}^{#1} {#2} }{ {\mathrm d} {#3}^{#1} } } \newcommand{\dd}{ \ddn{} } \newcommand{\d}{ \dd{} } \newcommand{\dn}[1]{ \ddn{#1}{} } \newcommand{\Dn}[2]{ \partial^{#1}_{#2} } \newcommand{\D}{ \Dn{} } \newcommand{\ig}[2]{ \int {#2} \, \mathrm d {#1} } \newcommand{\cat}[1]{{ \sf{#1} }} \newcommand{\yo}{よ} \newcommand{\X}{-\!\!\!-\!\!\!} \newcommand{\xlongrightarrow}{ \mathop{ \, \X\longrightarrow \, } } \newcommand{\xxlongrightarrow}{ \mathop{ \, \X\X\longrightarrow \, } } \newcommand{\xxxlongrightarrow}{ \mathop{ \, \X\X\X\longrightarrow \, } } \newcommand{\takenby}[1]{ \overset{#1}{\rightarrow} } \newcommand{\longtakenby}[1]{ \overset{#1}{\longrightarrow} } \newcommand{\xlongtakenby}[1]{ \overset{#1}{\xlongrightarrow} } \newcommand{\xxlongtakenby}[1]{ \overset{#1}{\xxlongrightarrow} } \newcommand{\xxxlongtakenby}[1]{ \overset{#1}{\xxxlongrightarrow} } \newcommand{\apar}{ {-} } \newcommand{\halts}{ {\downarrow} } \newcommand{\loops}{ {\uparrow} } \text{Im}(f)$, write it as $\newcommand{\cl}[1]{ \mathcal{#1} } \newcommand{\sc}[1]{ \mathscr{#1} } \newcommand{\bb}[1]{ \mathbb{#1} } \newcommand{\fk}[1]{ \mathfrak{#1} } \renewcommand{\bf}[1]{ \mathbf{#1} } \renewcommand{\sf}[1]{ \mathsf{#1} } \renewcommand{\rm}[1]{ \mathrm{#1} } \newcommand{\floor}[1]{ { \lfloor {#1} \rfloor } } \newcommand{\ceil}[1]{ { \lceil {#1} \rceil } } \newcommand{\ol}[1]{ \overline{#1} } \newcommand{\t}[1]{ \text{#1} } \newcommand{\norm}[1]{ { \lvert {#1} \rvert } } \newcommand{\mag}[1]{ { \left\lvert {#1} \right\rvert } } \newcommand{\smag}[1]{ { \lvert {#1} \rvert } } \newcommand{\card}{ \t{cd} } \newcommand{\dcup}{ \sqcup } \newcommand{\tup}[1]{ \langle {#1} \rangle } \newcommand{\tl}{ \tilde } \newcommand{\wt}{ \widetilde } \newcommand{\To}{ \Rightarrow } \newcommand{\box}[1]{ \fbox{$ #1 $} } \newcommand{\onall}[1]{ { \llbracket {#1} \rrbracket } } \newcommand{\tpar}[1]{ \left( {#1} \right) } \newcommand{\tbrak}[1]{ \left[ {#1} \right] } \newcommand{\tbrac}[1]{ \left\{ {#1} \right\} } \newcommand{\mapsfrom}{ \mathrel{↤} } \newcommand{\then}{ \operatorname{\ ;\ } } \newcommand{\pre}[1]{{ \small `{#1} }} \newcommand{\injects}{ \hookrightarrow } \newcommand{\embeds}{ \hookrightarrow } \newcommand{\surjects}{ \twoheadrightarrow } \newcommand{\projects}{ \twoheadrightarrow } \newcommand{\id}{ \,\mathrm d } \newcommand{\ddn}[3]{ \frac{ {\mathrm d}^{#1} {#2} }{ {\mathrm d} {#3}^{#1} } } \newcommand{\dd}{ \ddn{} } \newcommand{\d}{ \dd{} } \newcommand{\dn}[1]{ \ddn{#1}{} } \newcommand{\Dn}[2]{ \partial^{#1}_{#2} } \newcommand{\D}{ \Dn{} } \newcommand{\ig}[2]{ \int {#2} \, \mathrm d {#1} } \newcommand{\cat}[1]{{ \sf{#1} }} \newcommand{\yo}{よ} \newcommand{\X}{-\!\!\!-\!\!\!} \newcommand{\xlongrightarrow}{ \mathop{ \, \X\longrightarrow \, } } \newcommand{\xxlongrightarrow}{ \mathop{ \, \X\X\longrightarrow \, } } \newcommand{\xxxlongrightarrow}{ \mathop{ \, \X\X\X\longrightarrow \, } } \newcommand{\takenby}[1]{ \overset{#1}{\rightarrow} } \newcommand{\longtakenby}[1]{ \overset{#1}{\longrightarrow} } \newcommand{\xlongtakenby}[1]{ \overset{#1}{\xlongrightarrow} } \newcommand{\xxlongtakenby}[1]{ \overset{#1}{\xxlongrightarrow} } \newcommand{\xxxlongtakenby}[1]{ \overset{#1}{\xxxlongrightarrow} } \newcommand{\apar}{ {-} } \newcommand{\halts}{ {\downarrow} } \newcommand{\loops}{ {\uparrow} } y = f(x)$ for some $\newcommand{\cl}[1]{ \mathcal{#1} } \newcommand{\sc}[1]{ \mathscr{#1} } \newcommand{\bb}[1]{ \mathbb{#1} } \newcommand{\fk}[1]{ \mathfrak{#1} } \renewcommand{\bf}[1]{ \mathbf{#1} } \renewcommand{\sf}[1]{ \mathsf{#1} } \renewcommand{\rm}[1]{ \mathrm{#1} } \newcommand{\floor}[1]{ { \lfloor {#1} \rfloor } } \newcommand{\ceil}[1]{ { \lceil {#1} \rceil } } \newcommand{\ol}[1]{ \overline{#1} } \newcommand{\t}[1]{ \text{#1} } \newcommand{\norm}[1]{ { \lvert {#1} \rvert } } \newcommand{\mag}[1]{ { \left\lvert {#1} \right\rvert } } \newcommand{\smag}[1]{ { \lvert {#1} \rvert } } \newcommand{\card}{ \t{cd} } \newcommand{\dcup}{ \sqcup } \newcommand{\tup}[1]{ \langle {#1} \rangle } \newcommand{\tl}{ \tilde } \newcommand{\wt}{ \widetilde } \newcommand{\To}{ \Rightarrow } \newcommand{\box}[1]{ \fbox{$ #1 $} } \newcommand{\onall}[1]{ { \llbracket {#1} \rrbracket } } \newcommand{\tpar}[1]{ \left( {#1} \right) } \newcommand{\tbrak}[1]{ \left[ {#1} \right] } \newcommand{\tbrac}[1]{ \left\{ {#1} \right\} } \newcommand{\mapsfrom}{ \mathrel{↤} } \newcommand{\then}{ \operatorname{\ ;\ } } \newcommand{\pre}[1]{{ \small `{#1} }} \newcommand{\injects}{ \hookrightarrow } \newcommand{\embeds}{ \hookrightarrow } \newcommand{\surjects}{ \twoheadrightarrow } \newcommand{\projects}{ \twoheadrightarrow } \newcommand{\id}{ \,\mathrm d } \newcommand{\ddn}[3]{ \frac{ {\mathrm d}^{#1} {#2} }{ {\mathrm d} {#3}^{#1} } } \newcommand{\dd}{ \ddn{} } \newcommand{\d}{ \dd{} } \newcommand{\dn}[1]{ \ddn{#1}{} } \newcommand{\Dn}[2]{ \partial^{#1}_{#2} } \newcommand{\D}{ \Dn{} } \newcommand{\ig}[2]{ \int {#2} \, \mathrm d {#1} } \newcommand{\cat}[1]{{ \sf{#1} }} \newcommand{\yo}{よ} \newcommand{\X}{-\!\!\!-\!\!\!} \newcommand{\xlongrightarrow}{ \mathop{ \, \X\longrightarrow \, } } \newcommand{\xxlongrightarrow}{ \mathop{ \, \X\X\longrightarrow \, } } \newcommand{\xxxlongrightarrow}{ \mathop{ \, \X\X\X\longrightarrow \, } } \newcommand{\takenby}[1]{ \overset{#1}{\rightarrow} } \newcommand{\longtakenby}[1]{ \overset{#1}{\longrightarrow} } \newcommand{\xlongtakenby}[1]{ \overset{#1}{\xlongrightarrow} } \newcommand{\xxlongtakenby}[1]{ \overset{#1}{\xxlongrightarrow} } \newcommand{\xxxlongtakenby}[1]{ \overset{#1}{\xxxlongrightarrow} } \newcommand{\apar}{ {-} } \newcommand{\halts}{ {\downarrow} } \newcommand{\loops}{ {\uparrow} } x \in X$, and note $\newcommand{\cl}[1]{ \mathcal{#1} } \newcommand{\sc}[1]{ \mathscr{#1} } \newcommand{\bb}[1]{ \mathbb{#1} } \newcommand{\fk}[1]{ \mathfrak{#1} } \renewcommand{\bf}[1]{ \mathbf{#1} } \renewcommand{\sf}[1]{ \mathsf{#1} } \renewcommand{\rm}[1]{ \mathrm{#1} } \newcommand{\floor}[1]{ { \lfloor {#1} \rfloor } } \newcommand{\ceil}[1]{ { \lceil {#1} \rceil } } \newcommand{\ol}[1]{ \overline{#1} } \newcommand{\t}[1]{ \text{#1} } \newcommand{\norm}[1]{ { \lvert {#1} \rvert } } \newcommand{\mag}[1]{ { \left\lvert {#1} \right\rvert } } \newcommand{\smag}[1]{ { \lvert {#1} \rvert } } \newcommand{\card}{ \t{cd} } \newcommand{\dcup}{ \sqcup } \newcommand{\tup}[1]{ \langle {#1} \rangle } \newcommand{\tl}{ \tilde } \newcommand{\wt}{ \widetilde } \newcommand{\To}{ \Rightarrow } \newcommand{\box}[1]{ \fbox{$ #1 $} } \newcommand{\onall}[1]{ { \llbracket {#1} \rrbracket } } \newcommand{\tpar}[1]{ \left( {#1} \right) } \newcommand{\tbrak}[1]{ \left[ {#1} \right] } \newcommand{\tbrac}[1]{ \left\{ {#1} \right\} } \newcommand{\mapsfrom}{ \mathrel{↤} } \newcommand{\then}{ \operatorname{\ ;\ } } \newcommand{\pre}[1]{{ \small `{#1} }} \newcommand{\injects}{ \hookrightarrow } \newcommand{\embeds}{ \hookrightarrow } \newcommand{\surjects}{ \twoheadrightarrow } \newcommand{\projects}{ \twoheadrightarrow } \newcommand{\id}{ \,\mathrm d } \newcommand{\ddn}[3]{ \frac{ {\mathrm d}^{#1} {#2} }{ {\mathrm d} {#3}^{#1} } } \newcommand{\dd}{ \ddn{} } \newcommand{\d}{ \dd{} } \newcommand{\dn}[1]{ \ddn{#1}{} } \newcommand{\Dn}[2]{ \partial^{#1}_{#2} } \newcommand{\D}{ \Dn{} } \newcommand{\ig}[2]{ \int {#2} \, \mathrm d {#1} } \newcommand{\cat}[1]{{ \sf{#1} }} \newcommand{\yo}{よ} \newcommand{\X}{-\!\!\!-\!\!\!} \newcommand{\xlongrightarrow}{ \mathop{ \, \X\longrightarrow \, } } \newcommand{\xxlongrightarrow}{ \mathop{ \, \X\X\longrightarrow \, } } \newcommand{\xxxlongrightarrow}{ \mathop{ \, \X\X\X\longrightarrow \, } } \newcommand{\takenby}[1]{ \overset{#1}{\rightarrow} } \newcommand{\longtakenby}[1]{ \overset{#1}{\longrightarrow} } \newcommand{\xlongtakenby}[1]{ \overset{#1}{\xlongrightarrow} } \newcommand{\xxlongtakenby}[1]{ \overset{#1}{\xxlongrightarrow} } \newcommand{\xxxlongtakenby}[1]{ \overset{#1}{\xxxlongrightarrow} } \newcommand{\apar}{ {-} } \newcommand{\halts}{ {\downarrow} } \newcommand{\loops}{ {\uparrow} } f(y) = f(f(x)) = f(x) = y$. Say $\newcommand{\cl}[1]{ \mathcal{#1} } \newcommand{\sc}[1]{ \mathscr{#1} } \newcommand{\bb}[1]{ \mathbb{#1} } \newcommand{\fk}[1]{ \mathfrak{#1} } \renewcommand{\bf}[1]{ \mathbf{#1} } \renewcommand{\sf}[1]{ \mathsf{#1} } \renewcommand{\rm}[1]{ \mathrm{#1} } \newcommand{\floor}[1]{ { \lfloor {#1} \rfloor } } \newcommand{\ceil}[1]{ { \lceil {#1} \rceil } } \newcommand{\ol}[1]{ \overline{#1} } \newcommand{\t}[1]{ \text{#1} } \newcommand{\norm}[1]{ { \lvert {#1} \rvert } } \newcommand{\mag}[1]{ { \left\lvert {#1} \right\rvert } } \newcommand{\smag}[1]{ { \lvert {#1} \rvert } } \newcommand{\card}{ \t{cd} } \newcommand{\dcup}{ \sqcup } \newcommand{\tup}[1]{ \langle {#1} \rangle } \newcommand{\tl}{ \tilde } \newcommand{\wt}{ \widetilde } \newcommand{\To}{ \Rightarrow } \newcommand{\box}[1]{ \fbox{$ #1 $} } \newcommand{\onall}[1]{ { \llbracket {#1} \rrbracket } } \newcommand{\tpar}[1]{ \left( {#1} \right) } \newcommand{\tbrak}[1]{ \left[ {#1} \right] } \newcommand{\tbrac}[1]{ \left\{ {#1} \right\} } \newcommand{\mapsfrom}{ \mathrel{↤} } \newcommand{\then}{ \operatorname{\ ;\ } } \newcommand{\pre}[1]{{ \small `{#1} }} \newcommand{\injects}{ \hookrightarrow } \newcommand{\embeds}{ \hookrightarrow } \newcommand{\surjects}{ \twoheadrightarrow } \newcommand{\projects}{ \twoheadrightarrow } \newcommand{\id}{ \,\mathrm d } \newcommand{\ddn}[3]{ \frac{ {\mathrm d}^{#1} {#2} }{ {\mathrm d} {#3}^{#1} } } \newcommand{\dd}{ \ddn{} } \newcommand{\d}{ \dd{} } \newcommand{\dn}[1]{ \ddn{#1}{} } \newcommand{\Dn}[2]{ \partial^{#1}_{#2} } \newcommand{\D}{ \Dn{} } \newcommand{\ig}[2]{ \int {#2} \, \mathrm d {#1} } \newcommand{\cat}[1]{{ \sf{#1} }} \newcommand{\yo}{よ} \newcommand{\X}{-\!\!\!-\!\!\!} \newcommand{\xlongrightarrow}{ \mathop{ \, \X\longrightarrow \, } } \newcommand{\xxlongrightarrow}{ \mathop{ \, \X\X\longrightarrow \, } } \newcommand{\xxxlongrightarrow}{ \mathop{ \, \X\X\X\longrightarrow \, } } \newcommand{\takenby}[1]{ \overset{#1}{\rightarrow} } \newcommand{\longtakenby}[1]{ \overset{#1}{\longrightarrow} } \newcommand{\xlongtakenby}[1]{ \overset{#1}{\xlongrightarrow} } \newcommand{\xxlongtakenby}[1]{ \overset{#1}{\xxlongrightarrow} } \newcommand{\xxxlongtakenby}[1]{ \overset{#1}{\xxxlongrightarrow} } \newcommand{\apar}{ {-} } \newcommand{\halts}{ {\downarrow} } \newcommand{\loops}{ {\uparrow} } f$ is a projection. By property (1) we know the target is $\newcommand{\cl}[1]{ \mathcal{#1} } \newcommand{\sc}[1]{ \mathscr{#1} } \newcommand{\bb}[1]{ \mathbb{#1} } \newcommand{\fk}[1]{ \mathfrak{#1} } \renewcommand{\bf}[1]{ \mathbf{#1} } \renewcommand{\sf}[1]{ \mathsf{#1} } \renewcommand{\rm}[1]{ \mathrm{#1} } \newcommand{\floor}[1]{ { \lfloor {#1} \rfloor } } \newcommand{\ceil}[1]{ { \lceil {#1} \rceil } } \newcommand{\ol}[1]{ \overline{#1} } \newcommand{\t}[1]{ \text{#1} } \newcommand{\norm}[1]{ { \lvert {#1} \rvert } } \newcommand{\mag}[1]{ { \left\lvert {#1} \right\rvert } } \newcommand{\smag}[1]{ { \lvert {#1} \rvert } } \newcommand{\card}{ \t{cd} } \newcommand{\dcup}{ \sqcup } \newcommand{\tup}[1]{ \langle {#1} \rangle } \newcommand{\tl}{ \tilde } \newcommand{\wt}{ \widetilde } \newcommand{\To}{ \Rightarrow } \newcommand{\box}[1]{ \fbox{$ #1 $} } \newcommand{\onall}[1]{ { \llbracket {#1} \rrbracket } } \newcommand{\tpar}[1]{ \left( {#1} \right) } \newcommand{\tbrak}[1]{ \left[ {#1} \right] } \newcommand{\tbrac}[1]{ \left\{ {#1} \right\} } \newcommand{\mapsfrom}{ \mathrel{↤} } \newcommand{\then}{ \operatorname{\ ;\ } } \newcommand{\pre}[1]{{ \small `{#1} }} \newcommand{\injects}{ \hookrightarrow } \newcommand{\embeds}{ \hookrightarrow } \newcommand{\surjects}{ \twoheadrightarrow } \newcommand{\projects}{ \twoheadrightarrow } \newcommand{\id}{ \,\mathrm d } \newcommand{\ddn}[3]{ \frac{ {\mathrm d}^{#1} {#2} }{ {\mathrm d} {#3}^{#1} } } \newcommand{\dd}{ \ddn{} } \newcommand{\d}{ \dd{} } \newcommand{\dn}[1]{ \ddn{#1}{} } \newcommand{\Dn}[2]{ \partial^{#1}_{#2} } \newcommand{\D}{ \Dn{} } \newcommand{\ig}[2]{ \int {#2} \, \mathrm d {#1} } \newcommand{\cat}[1]{{ \sf{#1} }} \newcommand{\yo}{よ} \newcommand{\X}{-\!\!\!-\!\!\!} \newcommand{\xlongrightarrow}{ \mathop{ \, \X\longrightarrow \, } } \newcommand{\xxlongrightarrow}{ \mathop{ \, \X\X\longrightarrow \, } } \newcommand{\xxxlongrightarrow}{ \mathop{ \, \X\X\X\longrightarrow \, } } \newcommand{\takenby}[1]{ \overset{#1}{\rightarrow} } \newcommand{\longtakenby}[1]{ \overset{#1}{\longrightarrow} } \newcommand{\xlongtakenby}[1]{ \overset{#1}{\xlongrightarrow} } \newcommand{\xxlongtakenby}[1]{ \overset{#1}{\xxlongrightarrow} } \newcommand{\xxxlongtakenby}[1]{ \overset{#1}{\xxxlongrightarrow} } \newcommand{\apar}{ {-} } \newcommand{\halts}{ {\downarrow} } \newcommand{\loops}{ {\uparrow} } \text{Im}(f)$. Now take an $\newcommand{\cl}[1]{ \mathcal{#1} } \newcommand{\sc}[1]{ \mathscr{#1} } \newcommand{\bb}[1]{ \mathbb{#1} } \newcommand{\fk}[1]{ \mathfrak{#1} } \renewcommand{\bf}[1]{ \mathbf{#1} } \renewcommand{\sf}[1]{ \mathsf{#1} } \renewcommand{\rm}[1]{ \mathrm{#1} } \newcommand{\floor}[1]{ { \lfloor {#1} \rfloor } } \newcommand{\ceil}[1]{ { \lceil {#1} \rceil } } \newcommand{\ol}[1]{ \overline{#1} } \newcommand{\t}[1]{ \text{#1} } \newcommand{\norm}[1]{ { \lvert {#1} \rvert } } \newcommand{\mag}[1]{ { \left\lvert {#1} \right\rvert } } \newcommand{\smag}[1]{ { \lvert {#1} \rvert } } \newcommand{\card}{ \t{cd} } \newcommand{\dcup}{ \sqcup } \newcommand{\tup}[1]{ \langle {#1} \rangle } \newcommand{\tl}{ \tilde } \newcommand{\wt}{ \widetilde } \newcommand{\To}{ \Rightarrow } \newcommand{\box}[1]{ \fbox{$ #1 $} } \newcommand{\onall}[1]{ { \llbracket {#1} \rrbracket } } \newcommand{\tpar}[1]{ \left( {#1} \right) } \newcommand{\tbrak}[1]{ \left[ {#1} \right] } \newcommand{\tbrac}[1]{ \left\{ {#1} \right\} } \newcommand{\mapsfrom}{ \mathrel{↤} } \newcommand{\then}{ \operatorname{\ ;\ } } \newcommand{\pre}[1]{{ \small `{#1} }} \newcommand{\injects}{ \hookrightarrow } \newcommand{\embeds}{ \hookrightarrow } \newcommand{\surjects}{ \twoheadrightarrow } \newcommand{\projects}{ \twoheadrightarrow } \newcommand{\id}{ \,\mathrm d } \newcommand{\ddn}[3]{ \frac{ {\mathrm d}^{#1} {#2} }{ {\mathrm d} {#3}^{#1} } } \newcommand{\dd}{ \ddn{} } \newcommand{\d}{ \dd{} } \newcommand{\dn}[1]{ \ddn{#1}{} } \newcommand{\Dn}[2]{ \partial^{#1}_{#2} } \newcommand{\D}{ \Dn{} } \newcommand{\ig}[2]{ \int {#2} \, \mathrm d {#1} } \newcommand{\cat}[1]{{ \sf{#1} }} \newcommand{\yo}{よ} \newcommand{\X}{-\!\!\!-\!\!\!} \newcommand{\xlongrightarrow}{ \mathop{ \, \X\longrightarrow \, } } \newcommand{\xxlongrightarrow}{ \mathop{ \, \X\X\longrightarrow \, } } \newcommand{\xxxlongrightarrow}{ \mathop{ \, \X\X\X\longrightarrow \, } } \newcommand{\takenby}[1]{ \overset{#1}{\rightarrow} } \newcommand{\longtakenby}[1]{ \overset{#1}{\longrightarrow} } \newcommand{\xlongtakenby}[1]{ \overset{#1}{\xlongrightarrow} } \newcommand{\xxlongtakenby}[1]{ \overset{#1}{\xxlongrightarrow} } \newcommand{\xxxlongtakenby}[1]{ \overset{#1}{\xxxlongrightarrow} } \newcommand{\apar}{ {-} } \newcommand{\halts}{ {\downarrow} } \newcommand{\loops}{ {\uparrow} } x \in X$, note that $\newcommand{\cl}[1]{ \mathcal{#1} } \newcommand{\sc}[1]{ \mathscr{#1} } \newcommand{\bb}[1]{ \mathbb{#1} } \newcommand{\fk}[1]{ \mathfrak{#1} } \renewcommand{\bf}[1]{ \mathbf{#1} } \renewcommand{\sf}[1]{ \mathsf{#1} } \renewcommand{\rm}[1]{ \mathrm{#1} } \newcommand{\floor}[1]{ { \lfloor {#1} \rfloor } } \newcommand{\ceil}[1]{ { \lceil {#1} \rceil } } \newcommand{\ol}[1]{ \overline{#1} } \newcommand{\t}[1]{ \text{#1} } \newcommand{\norm}[1]{ { \lvert {#1} \rvert } } \newcommand{\mag}[1]{ { \left\lvert {#1} \right\rvert } } \newcommand{\smag}[1]{ { \lvert {#1} \rvert } } \newcommand{\card}{ \t{cd} } \newcommand{\dcup}{ \sqcup } \newcommand{\tup}[1]{ \langle {#1} \rangle } \newcommand{\tl}{ \tilde } \newcommand{\wt}{ \widetilde } \newcommand{\To}{ \Rightarrow } \newcommand{\box}[1]{ \fbox{$ #1 $} } \newcommand{\onall}[1]{ { \llbracket {#1} \rrbracket } } \newcommand{\tpar}[1]{ \left( {#1} \right) } \newcommand{\tbrak}[1]{ \left[ {#1} \right] } \newcommand{\tbrac}[1]{ \left\{ {#1} \right\} } \newcommand{\mapsfrom}{ \mathrel{↤} } \newcommand{\then}{ \operatorname{\ ;\ } } \newcommand{\pre}[1]{{ \small `{#1} }} \newcommand{\injects}{ \hookrightarrow } \newcommand{\embeds}{ \hookrightarrow } \newcommand{\surjects}{ \twoheadrightarrow } \newcommand{\projects}{ \twoheadrightarrow } \newcommand{\id}{ \,\mathrm d } \newcommand{\ddn}[3]{ \frac{ {\mathrm d}^{#1} {#2} }{ {\mathrm d} {#3}^{#1} } } \newcommand{\dd}{ \ddn{} } \newcommand{\d}{ \dd{} } \newcommand{\dn}[1]{ \ddn{#1}{} } \newcommand{\Dn}[2]{ \partial^{#1}_{#2} } \newcommand{\D}{ \Dn{} } \newcommand{\ig}[2]{ \int {#2} \, \mathrm d {#1} } \newcommand{\cat}[1]{{ \sf{#1} }} \newcommand{\yo}{よ} \newcommand{\X}{-\!\!\!-\!\!\!} \newcommand{\xlongrightarrow}{ \mathop{ \, \X\longrightarrow \, } } \newcommand{\xxlongrightarrow}{ \mathop{ \, \X\X\longrightarrow \, } } \newcommand{\xxxlongrightarrow}{ \mathop{ \, \X\X\X\longrightarrow \, } } \newcommand{\takenby}[1]{ \overset{#1}{\rightarrow} } \newcommand{\longtakenby}[1]{ \overset{#1}{\longrightarrow} } \newcommand{\xlongtakenby}[1]{ \overset{#1}{\xlongrightarrow} } \newcommand{\xxlongtakenby}[1]{ \overset{#1}{\xxlongrightarrow} } \newcommand{\xxxlongtakenby}[1]{ \overset{#1}{\xxxlongrightarrow} } \newcommand{\apar}{ {-} } \newcommand{\halts}{ {\downarrow} } \newcommand{\loops}{ {\uparrow} } f(x) \in \text{Im}(f)$, and conclude by projection condition #2 that $\newcommand{\cl}[1]{ \mathcal{#1} } \newcommand{\sc}[1]{ \mathscr{#1} } \newcommand{\bb}[1]{ \mathbb{#1} } \newcommand{\fk}[1]{ \mathfrak{#1} } \renewcommand{\bf}[1]{ \mathbf{#1} } \renewcommand{\sf}[1]{ \mathsf{#1} } \renewcommand{\rm}[1]{ \mathrm{#1} } \newcommand{\floor}[1]{ { \lfloor {#1} \rfloor } } \newcommand{\ceil}[1]{ { \lceil {#1} \rceil } } \newcommand{\ol}[1]{ \overline{#1} } \newcommand{\t}[1]{ \text{#1} } \newcommand{\norm}[1]{ { \lvert {#1} \rvert } } \newcommand{\mag}[1]{ { \left\lvert {#1} \right\rvert } } \newcommand{\smag}[1]{ { \lvert {#1} \rvert } } \newcommand{\card}{ \t{cd} } \newcommand{\dcup}{ \sqcup } \newcommand{\tup}[1]{ \langle {#1} \rangle } \newcommand{\tl}{ \tilde } \newcommand{\wt}{ \widetilde } \newcommand{\To}{ \Rightarrow } \newcommand{\box}[1]{ \fbox{$ #1 $} } \newcommand{\onall}[1]{ { \llbracket {#1} \rrbracket } } \newcommand{\tpar}[1]{ \left( {#1} \right) } \newcommand{\tbrak}[1]{ \left[ {#1} \right] } \newcommand{\tbrac}[1]{ \left\{ {#1} \right\} } \newcommand{\mapsfrom}{ \mathrel{↤} } \newcommand{\then}{ \operatorname{\ ;\ } } \newcommand{\pre}[1]{{ \small `{#1} }} \newcommand{\injects}{ \hookrightarrow } \newcommand{\embeds}{ \hookrightarrow } \newcommand{\surjects}{ \twoheadrightarrow } \newcommand{\projects}{ \twoheadrightarrow } \newcommand{\id}{ \,\mathrm d } \newcommand{\ddn}[3]{ \frac{ {\mathrm d}^{#1} {#2} }{ {\mathrm d} {#3}^{#1} } } \newcommand{\dd}{ \ddn{} } \newcommand{\d}{ \dd{} } \newcommand{\dn}[1]{ \ddn{#1}{} } \newcommand{\Dn}[2]{ \partial^{#1}_{#2} } \newcommand{\D}{ \Dn{} } \newcommand{\ig}[2]{ \int {#2} \, \mathrm d {#1} } \newcommand{\cat}[1]{{ \sf{#1} }} \newcommand{\yo}{よ} \newcommand{\X}{-\!\!\!-\!\!\!} \newcommand{\xlongrightarrow}{ \mathop{ \, \X\longrightarrow \, } } \newcommand{\xxlongrightarrow}{ \mathop{ \, \X\X\longrightarrow \, } } \newcommand{\xxxlongrightarrow}{ \mathop{ \, \X\X\X\longrightarrow \, } } \newcommand{\takenby}[1]{ \overset{#1}{\rightarrow} } \newcommand{\longtakenby}[1]{ \overset{#1}{\longrightarrow} } \newcommand{\xlongtakenby}[1]{ \overset{#1}{\xlongrightarrow} } \newcommand{\xxlongtakenby}[1]{ \overset{#1}{\xxlongrightarrow} } \newcommand{\xxxlongtakenby}[1]{ \overset{#1}{\xxxlongrightarrow} } \newcommand{\apar}{ {-} } \newcommand{\halts}{ {\downarrow} } \newcommand{\loops}{ {\uparrow} } f(f(x)) = f(x)$. Since this holds for all $\newcommand{\cl}[1]{ \mathcal{#1} } \newcommand{\sc}[1]{ \mathscr{#1} } \newcommand{\bb}[1]{ \mathbb{#1} } \newcommand{\fk}[1]{ \mathfrak{#1} } \renewcommand{\bf}[1]{ \mathbf{#1} } \renewcommand{\sf}[1]{ \mathsf{#1} } \renewcommand{\rm}[1]{ \mathrm{#1} } \newcommand{\floor}[1]{ { \lfloor {#1} \rfloor } } \newcommand{\ceil}[1]{ { \lceil {#1} \rceil } } \newcommand{\ol}[1]{ \overline{#1} } \newcommand{\t}[1]{ \text{#1} } \newcommand{\norm}[1]{ { \lvert {#1} \rvert } } \newcommand{\mag}[1]{ { \left\lvert {#1} \right\rvert } } \newcommand{\smag}[1]{ { \lvert {#1} \rvert } } \newcommand{\card}{ \t{cd} } \newcommand{\dcup}{ \sqcup } \newcommand{\tup}[1]{ \langle {#1} \rangle } \newcommand{\tl}{ \tilde } \newcommand{\wt}{ \widetilde } \newcommand{\To}{ \Rightarrow } \newcommand{\box}[1]{ \fbox{$ #1 $} } \newcommand{\onall}[1]{ { \llbracket {#1} \rrbracket } } \newcommand{\tpar}[1]{ \left( {#1} \right) } \newcommand{\tbrak}[1]{ \left[ {#1} \right] } \newcommand{\tbrac}[1]{ \left\{ {#1} \right\} } \newcommand{\mapsfrom}{ \mathrel{↤} } \newcommand{\then}{ \operatorname{\ ;\ } } \newcommand{\pre}[1]{{ \small `{#1} }} \newcommand{\injects}{ \hookrightarrow } \newcommand{\embeds}{ \hookrightarrow } \newcommand{\surjects}{ \twoheadrightarrow } \newcommand{\projects}{ \twoheadrightarrow } \newcommand{\id}{ \,\mathrm d } \newcommand{\ddn}[3]{ \frac{ {\mathrm d}^{#1} {#2} }{ {\mathrm d} {#3}^{#1} } } \newcommand{\dd}{ \ddn{} } \newcommand{\d}{ \dd{} } \newcommand{\dn}[1]{ \ddn{#1}{} } \newcommand{\Dn}[2]{ \partial^{#1}_{#2} } \newcommand{\D}{ \Dn{} } \newcommand{\ig}[2]{ \int {#2} \, \mathrm d {#1} } \newcommand{\cat}[1]{{ \sf{#1} }} \newcommand{\yo}{よ} \newcommand{\X}{-\!\!\!-\!\!\!} \newcommand{\xlongrightarrow}{ \mathop{ \, \X\longrightarrow \, } } \newcommand{\xxlongrightarrow}{ \mathop{ \, \X\X\longrightarrow \, } } \newcommand{\xxxlongrightarrow}{ \mathop{ \, \X\X\X\longrightarrow \, } } \newcommand{\takenby}[1]{ \overset{#1}{\rightarrow} } \newcommand{\longtakenby}[1]{ \overset{#1}{\longrightarrow} } \newcommand{\xlongtakenby}[1]{ \overset{#1}{\xlongrightarrow} } \newcommand{\xxlongtakenby}[1]{ \overset{#1}{\xxlongrightarrow} } \newcommand{\xxxlongtakenby}[1]{ \overset{#1}{\xxxlongrightarrow} } \newcommand{\apar}{ {-} } \newcommand{\halts}{ {\downarrow} } \newcommand{\loops}{ {\uparrow} } x$ then $\newcommand{\cl}[1]{ \mathcal{#1} } \newcommand{\sc}[1]{ \mathscr{#1} } \newcommand{\bb}[1]{ \mathbb{#1} } \newcommand{\fk}[1]{ \mathfrak{#1} } \renewcommand{\bf}[1]{ \mathbf{#1} } \renewcommand{\sf}[1]{ \mathsf{#1} } \renewcommand{\rm}[1]{ \mathrm{#1} } \newcommand{\floor}[1]{ { \lfloor {#1} \rfloor } } \newcommand{\ceil}[1]{ { \lceil {#1} \rceil } } \newcommand{\ol}[1]{ \overline{#1} } \newcommand{\t}[1]{ \text{#1} } \newcommand{\norm}[1]{ { \lvert {#1} \rvert } } \newcommand{\mag}[1]{ { \left\lvert {#1} \right\rvert } } \newcommand{\smag}[1]{ { \lvert {#1} \rvert } } \newcommand{\card}{ \t{cd} } \newcommand{\dcup}{ \sqcup } \newcommand{\tup}[1]{ \langle {#1} \rangle } \newcommand{\tl}{ \tilde } \newcommand{\wt}{ \widetilde } \newcommand{\To}{ \Rightarrow } \newcommand{\box}[1]{ \fbox{$ #1 $} } \newcommand{\onall}[1]{ { \llbracket {#1} \rrbracket } } \newcommand{\tpar}[1]{ \left( {#1} \right) } \newcommand{\tbrak}[1]{ \left[ {#1} \right] } \newcommand{\tbrac}[1]{ \left\{ {#1} \right\} } \newcommand{\mapsfrom}{ \mathrel{↤} } \newcommand{\then}{ \operatorname{\ ;\ } } \newcommand{\pre}[1]{{ \small `{#1} }} \newcommand{\injects}{ \hookrightarrow } \newcommand{\embeds}{ \hookrightarrow } \newcommand{\surjects}{ \twoheadrightarrow } \newcommand{\projects}{ \twoheadrightarrow } \newcommand{\id}{ \,\mathrm d } \newcommand{\ddn}[3]{ \frac{ {\mathrm d}^{#1} {#2} }{ {\mathrm d} {#3}^{#1} } } \newcommand{\dd}{ \ddn{} } \newcommand{\d}{ \dd{} } \newcommand{\dn}[1]{ \ddn{#1}{} } \newcommand{\Dn}[2]{ \partial^{#1}_{#2} } \newcommand{\D}{ \Dn{} } \newcommand{\ig}[2]{ \int {#2} \, \mathrm d {#1} } \newcommand{\cat}[1]{{ \sf{#1} }} \newcommand{\yo}{よ} \newcommand{\X}{-\!\!\!-\!\!\!} \newcommand{\xlongrightarrow}{ \mathop{ \, \X\longrightarrow \, } } \newcommand{\xxlongrightarrow}{ \mathop{ \, \X\X\longrightarrow \, } } \newcommand{\xxxlongrightarrow}{ \mathop{ \, \X\X\X\longrightarrow \, } } \newcommand{\takenby}[1]{ \overset{#1}{\rightarrow} } \newcommand{\longtakenby}[1]{ \overset{#1}{\longrightarrow} } \newcommand{\xlongtakenby}[1]{ \overset{#1}{\xlongrightarrow} } \newcommand{\xxlongtakenby}[1]{ \overset{#1}{\xxlongrightarrow} } \newcommand{\xxxlongtakenby}[1]{ \overset{#1}{\xxxlongrightarrow} } \newcommand{\apar}{ {-} } \newcommand{\halts}{ {\downarrow} } \newcommand{\loops}{ {\uparrow} } f \circ f = f$.

Projections are closed under composition ⚠️ I don’t know if this proof is correct. I’m doing it in avoidance of emotional processing and am very distracted. Take projections $\newcommand{\cl}[1]{ \mathcal{#1} } \newcommand{\sc}[1]{ \mathscr{#1} } \newcommand{\bb}[1]{ \mathbb{#1} } \newcommand{\fk}[1]{ \mathfrak{#1} } \renewcommand{\bf}[1]{ \mathbf{#1} } \renewcommand{\sf}[1]{ \mathsf{#1} } \renewcommand{\rm}[1]{ \mathrm{#1} } \newcommand{\floor}[1]{ { \lfloor {#1} \rfloor } } \newcommand{\ceil}[1]{ { \lceil {#1} \rceil } } \newcommand{\ol}[1]{ \overline{#1} } \newcommand{\t}[1]{ \text{#1} } \newcommand{\norm}[1]{ { \lvert {#1} \rvert } } \newcommand{\mag}[1]{ { \left\lvert {#1} \right\rvert } } \newcommand{\smag}[1]{ { \lvert {#1} \rvert } } \newcommand{\card}{ \t{cd} } \newcommand{\dcup}{ \sqcup } \newcommand{\tup}[1]{ \langle {#1} \rangle } \newcommand{\tl}{ \tilde } \newcommand{\wt}{ \widetilde } \newcommand{\To}{ \Rightarrow } \newcommand{\box}[1]{ \fbox{$ #1 $} } \newcommand{\onall}[1]{ { \llbracket {#1} \rrbracket } } \newcommand{\tpar}[1]{ \left( {#1} \right) } \newcommand{\tbrak}[1]{ \left[ {#1} \right] } \newcommand{\tbrac}[1]{ \left\{ {#1} \right\} } \newcommand{\mapsfrom}{ \mathrel{↤} } \newcommand{\then}{ \operatorname{\ ;\ } } \newcommand{\pre}[1]{{ \small `{#1} }} \newcommand{\injects}{ \hookrightarrow } \newcommand{\embeds}{ \hookrightarrow } \newcommand{\surjects}{ \twoheadrightarrow } \newcommand{\projects}{ \twoheadrightarrow } \newcommand{\id}{ \,\mathrm d } \newcommand{\ddn}[3]{ \frac{ {\mathrm d}^{#1} {#2} }{ {\mathrm d} {#3}^{#1} } } \newcommand{\dd}{ \ddn{} } \newcommand{\d}{ \dd{} } \newcommand{\dn}[1]{ \ddn{#1}{} } \newcommand{\Dn}[2]{ \partial^{#1}_{#2} } \newcommand{\D}{ \Dn{} } \newcommand{\ig}[2]{ \int {#2} \, \mathrm d {#1} } \newcommand{\cat}[1]{{ \sf{#1} }} \newcommand{\yo}{よ} \newcommand{\X}{-\!\!\!-\!\!\!} \newcommand{\xlongrightarrow}{ \mathop{ \, \X\longrightarrow \, } } \newcommand{\xxlongrightarrow}{ \mathop{ \, \X\X\longrightarrow \, } } \newcommand{\xxxlongrightarrow}{ \mathop{ \, \X\X\X\longrightarrow \, } } \newcommand{\takenby}[1]{ \overset{#1}{\rightarrow} } \newcommand{\longtakenby}[1]{ \overset{#1}{\longrightarrow} } \newcommand{\xlongtakenby}[1]{ \overset{#1}{\xlongrightarrow} } \newcommand{\xxlongtakenby}[1]{ \overset{#1}{\xxlongrightarrow} } \newcommand{\xxxlongtakenby}[1]{ \overset{#1}{\xxxlongrightarrow} } \newcommand{\apar}{ {-} } \newcommand{\halts}{ {\downarrow} } \newcommand{\loops}{ {\uparrow} } f, g : X \to X$. To show $\newcommand{\cl}[1]{ \mathcal{#1} } \newcommand{\sc}[1]{ \mathscr{#1} } \newcommand{\bb}[1]{ \mathbb{#1} } \newcommand{\fk}[1]{ \mathfrak{#1} } \renewcommand{\bf}[1]{ \mathbf{#1} } \renewcommand{\sf}[1]{ \mathsf{#1} } \renewcommand{\rm}[1]{ \mathrm{#1} } \newcommand{\floor}[1]{ { \lfloor {#1} \rfloor } } \newcommand{\ceil}[1]{ { \lceil {#1} \rceil } } \newcommand{\ol}[1]{ \overline{#1} } \newcommand{\t}[1]{ \text{#1} } \newcommand{\norm}[1]{ { \lvert {#1} \rvert } } \newcommand{\mag}[1]{ { \left\lvert {#1} \right\rvert } } \newcommand{\smag}[1]{ { \lvert {#1} \rvert } } \newcommand{\card}{ \t{cd} } \newcommand{\dcup}{ \sqcup } \newcommand{\tup}[1]{ \langle {#1} \rangle } \newcommand{\tl}{ \tilde } \newcommand{\wt}{ \widetilde } \newcommand{\To}{ \Rightarrow } \newcommand{\box}[1]{ \fbox{$ #1 $} } \newcommand{\onall}[1]{ { \llbracket {#1} \rrbracket } } \newcommand{\tpar}[1]{ \left( {#1} \right) } \newcommand{\tbrak}[1]{ \left[ {#1} \right] } \newcommand{\tbrac}[1]{ \left\{ {#1} \right\} } \newcommand{\mapsfrom}{ \mathrel{↤} } \newcommand{\then}{ \operatorname{\ ;\ } } \newcommand{\pre}[1]{{ \small `{#1} }} \newcommand{\injects}{ \hookrightarrow } \newcommand{\embeds}{ \hookrightarrow } \newcommand{\surjects}{ \twoheadrightarrow } \newcommand{\projects}{ \twoheadrightarrow } \newcommand{\id}{ \,\mathrm d } \newcommand{\ddn}[3]{ \frac{ {\mathrm d}^{#1} {#2} }{ {\mathrm d} {#3}^{#1} } } \newcommand{\dd}{ \ddn{} } \newcommand{\d}{ \dd{} } \newcommand{\dn}[1]{ \ddn{#1}{} } \newcommand{\Dn}[2]{ \partial^{#1}_{#2} } \newcommand{\D}{ \Dn{} } \newcommand{\ig}[2]{ \int {#2} \, \mathrm d {#1} } \newcommand{\cat}[1]{{ \sf{#1} }} \newcommand{\yo}{よ} \newcommand{\X}{-\!\!\!-\!\!\!} \newcommand{\xlongrightarrow}{ \mathop{ \, \X\longrightarrow \, } } \newcommand{\xxlongrightarrow}{ \mathop{ \, \X\X\longrightarrow \, } } \newcommand{\xxxlongrightarrow}{ \mathop{ \, \X\X\X\longrightarrow \, } } \newcommand{\takenby}[1]{ \overset{#1}{\rightarrow} } \newcommand{\longtakenby}[1]{ \overset{#1}{\longrightarrow} } \newcommand{\xlongtakenby}[1]{ \overset{#1}{\xlongrightarrow} } \newcommand{\xxlongtakenby}[1]{ \overset{#1}{\xxlongrightarrow} } \newcommand{\xxxlongtakenby}[1]{ \overset{#1}{\xxxlongrightarrow} } \newcommand{\apar}{ {-} } \newcommand{\halts}{ {\downarrow} } \newcommand{\loops}{ {\uparrow} } f \then g$ is a projection, we need show that it fixes $\newcommand{\cl}[1]{ \mathcal{#1} } \newcommand{\sc}[1]{ \mathscr{#1} } \newcommand{\bb}[1]{ \mathbb{#1} } \newcommand{\fk}[1]{ \mathfrak{#1} } \renewcommand{\bf}[1]{ \mathbf{#1} } \renewcommand{\sf}[1]{ \mathsf{#1} } \renewcommand{\rm}[1]{ \mathrm{#1} } \newcommand{\floor}[1]{ { \lfloor {#1} \rfloor } } \newcommand{\ceil}[1]{ { \lceil {#1} \rceil } } \newcommand{\ol}[1]{ \overline{#1} } \newcommand{\t}[1]{ \text{#1} } \newcommand{\norm}[1]{ { \lvert {#1} \rvert } } \newcommand{\mag}[1]{ { \left\lvert {#1} \right\rvert } } \newcommand{\smag}[1]{ { \lvert {#1} \rvert } } \newcommand{\card}{ \t{cd} } \newcommand{\dcup}{ \sqcup } \newcommand{\tup}[1]{ \langle {#1} \rangle } \newcommand{\tl}{ \tilde } \newcommand{\wt}{ \widetilde } \newcommand{\To}{ \Rightarrow } \newcommand{\box}[1]{ \fbox{$ #1 $} } \newcommand{\onall}[1]{ { \llbracket {#1} \rrbracket } } \newcommand{\tpar}[1]{ \left( {#1} \right) } \newcommand{\tbrak}[1]{ \left[ {#1} \right] } \newcommand{\tbrac}[1]{ \left\{ {#1} \right\} } \newcommand{\mapsfrom}{ \mathrel{↤} } \newcommand{\then}{ \operatorname{\ ;\ } } \newcommand{\pre}[1]{{ \small `{#1} }} \newcommand{\injects}{ \hookrightarrow } \newcommand{\embeds}{ \hookrightarrow } \newcommand{\surjects}{ \twoheadrightarrow } \newcommand{\projects}{ \twoheadrightarrow } \newcommand{\id}{ \,\mathrm d } \newcommand{\ddn}[3]{ \frac{ {\mathrm d}^{#1} {#2} }{ {\mathrm d} {#3}^{#1} } } \newcommand{\dd}{ \ddn{} } \newcommand{\d}{ \dd{} } \newcommand{\dn}[1]{ \ddn{#1}{} } \newcommand{\Dn}[2]{ \partial^{#1}_{#2} } \newcommand{\D}{ \Dn{} } \newcommand{\ig}[2]{ \int {#2} \, \mathrm d {#1} } \newcommand{\cat}[1]{{ \sf{#1} }} \newcommand{\yo}{よ} \newcommand{\X}{-\!\!\!-\!\!\!} \newcommand{\xlongrightarrow}{ \mathop{ \, \X\longrightarrow \, } } \newcommand{\xxlongrightarrow}{ \mathop{ \, \X\X\longrightarrow \, } } \newcommand{\xxxlongrightarrow}{ \mathop{ \, \X\X\X\longrightarrow \, } } \newcommand{\takenby}[1]{ \overset{#1}{\rightarrow} } \newcommand{\longtakenby}[1]{ \overset{#1}{\longrightarrow} } \newcommand{\xlongtakenby}[1]{ \overset{#1}{\xlongrightarrow} } \newcommand{\xxlongtakenby}[1]{ \overset{#1}{\xxlongrightarrow} } \newcommand{\xxxlongtakenby}[1]{ \overset{#1}{\xxxlongrightarrow} } \newcommand{\apar}{ {-} } \newcommand{\halts}{ {\downarrow} } \newcommand{\loops}{ {\uparrow} } \text{Im}(f \then g)$. So take $\newcommand{\cl}[1]{ \mathcal{#1} } \newcommand{\sc}[1]{ \mathscr{#1} } \newcommand{\bb}[1]{ \mathbb{#1} } \newcommand{\fk}[1]{ \mathfrak{#1} } \renewcommand{\bf}[1]{ \mathbf{#1} } \renewcommand{\sf}[1]{ \mathsf{#1} } \renewcommand{\rm}[1]{ \mathrm{#1} } \newcommand{\floor}[1]{ { \lfloor {#1} \rfloor } } \newcommand{\ceil}[1]{ { \lceil {#1} \rceil } } \newcommand{\ol}[1]{ \overline{#1} } \newcommand{\t}[1]{ \text{#1} } \newcommand{\norm}[1]{ { \lvert {#1} \rvert } } \newcommand{\mag}[1]{ { \left\lvert {#1} \right\rvert } } \newcommand{\smag}[1]{ { \lvert {#1} \rvert } } \newcommand{\card}{ \t{cd} } \newcommand{\dcup}{ \sqcup } \newcommand{\tup}[1]{ \langle {#1} \rangle } \newcommand{\tl}{ \tilde } \newcommand{\wt}{ \widetilde } \newcommand{\To}{ \Rightarrow } \newcommand{\box}[1]{ \fbox{$ #1 $} } \newcommand{\onall}[1]{ { \llbracket {#1} \rrbracket } } \newcommand{\tpar}[1]{ \left( {#1} \right) } \newcommand{\tbrak}[1]{ \left[ {#1} \right] } \newcommand{\tbrac}[1]{ \left\{ {#1} \right\} } \newcommand{\mapsfrom}{ \mathrel{↤} } \newcommand{\then}{ \operatorname{\ ;\ } } \newcommand{\pre}[1]{{ \small `{#1} }} \newcommand{\injects}{ \hookrightarrow } \newcommand{\embeds}{ \hookrightarrow } \newcommand{\surjects}{ \twoheadrightarrow } \newcommand{\projects}{ \twoheadrightarrow } \newcommand{\id}{ \,\mathrm d } \newcommand{\ddn}[3]{ \frac{ {\mathrm d}^{#1} {#2} }{ {\mathrm d} {#3}^{#1} } } \newcommand{\dd}{ \ddn{} } \newcommand{\d}{ \dd{} } \newcommand{\dn}[1]{ \ddn{#1}{} } \newcommand{\Dn}[2]{ \partial^{#1}_{#2} } \newcommand{\D}{ \Dn{} } \newcommand{\ig}[2]{ \int {#2} \, \mathrm d {#1} } \newcommand{\cat}[1]{{ \sf{#1} }} \newcommand{\yo}{よ} \newcommand{\X}{-\!\!\!-\!\!\!} \newcommand{\xlongrightarrow}{ \mathop{ \, \X\longrightarrow \, } } \newcommand{\xxlongrightarrow}{ \mathop{ \, \X\X\longrightarrow \, } } \newcommand{\xxxlongrightarrow}{ \mathop{ \, \X\X\X\longrightarrow \, } } \newcommand{\takenby}[1]{ \overset{#1}{\rightarrow} } \newcommand{\longtakenby}[1]{ \overset{#1}{\longrightarrow} } \newcommand{\xlongtakenby}[1]{ \overset{#1}{\xlongrightarrow} } \newcommand{\xxlongtakenby}[1]{ \overset{#1}{\xxlongrightarrow} } \newcommand{\xxxlongtakenby}[1]{ \overset{#1}{\xxxlongrightarrow} } \newcommand{\apar}{ {-} } \newcommand{\halts}{ {\downarrow} } \newcommand{\loops}{ {\uparrow} } y \in \text{Im}(f \then g)$. Need to show $\newcommand{\cl}[1]{ \mathcal{#1} } \newcommand{\sc}[1]{ \mathscr{#1} } \newcommand{\bb}[1]{ \mathbb{#1} } \newcommand{\fk}[1]{ \mathfrak{#1} } \renewcommand{\bf}[1]{ \mathbf{#1} } \renewcommand{\sf}[1]{ \mathsf{#1} } \renewcommand{\rm}[1]{ \mathrm{#1} } \newcommand{\floor}[1]{ { \lfloor {#1} \rfloor } } \newcommand{\ceil}[1]{ { \lceil {#1} \rceil } } \newcommand{\ol}[1]{ \overline{#1} } \newcommand{\t}[1]{ \text{#1} } \newcommand{\norm}[1]{ { \lvert {#1} \rvert } } \newcommand{\mag}[1]{ { \left\lvert {#1} \right\rvert } } \newcommand{\smag}[1]{ { \lvert {#1} \rvert } } \newcommand{\card}{ \t{cd} } \newcommand{\dcup}{ \sqcup } \newcommand{\tup}[1]{ \langle {#1} \rangle } \newcommand{\tl}{ \tilde } \newcommand{\wt}{ \widetilde } \newcommand{\To}{ \Rightarrow } \newcommand{\box}[1]{ \fbox{$ #1 $} } \newcommand{\onall}[1]{ { \llbracket {#1} \rrbracket } } \newcommand{\tpar}[1]{ \left( {#1} \right) } \newcommand{\tbrak}[1]{ \left[ {#1} \right] } \newcommand{\tbrac}[1]{ \left\{ {#1} \right\} } \newcommand{\mapsfrom}{ \mathrel{↤} } \newcommand{\then}{ \operatorname{\ ;\ } } \newcommand{\pre}[1]{{ \small `{#1} }} \newcommand{\injects}{ \hookrightarrow } \newcommand{\embeds}{ \hookrightarrow } \newcommand{\surjects}{ \twoheadrightarrow } \newcommand{\projects}{ \twoheadrightarrow } \newcommand{\id}{ \,\mathrm d } \newcommand{\ddn}[3]{ \frac{ {\mathrm d}^{#1} {#2} }{ {\mathrm d} {#3}^{#1} } } \newcommand{\dd}{ \ddn{} } \newcommand{\d}{ \dd{} } \newcommand{\dn}[1]{ \ddn{#1}{} } \newcommand{\Dn}[2]{ \partial^{#1}_{#2} } \newcommand{\D}{ \Dn{} } \newcommand{\ig}[2]{ \int {#2} \, \mathrm d {#1} } \newcommand{\cat}[1]{{ \sf{#1} }} \newcommand{\yo}{よ} \newcommand{\X}{-\!\!\!-\!\!\!} \newcommand{\xlongrightarrow}{ \mathop{ \, \X\longrightarrow \, } } \newcommand{\xxlongrightarrow}{ \mathop{ \, \X\X\longrightarrow \, } } \newcommand{\xxxlongrightarrow}{ \mathop{ \, \X\X\X\longrightarrow \, } } \newcommand{\takenby}[1]{ \overset{#1}{\rightarrow} } \newcommand{\longtakenby}[1]{ \overset{#1}{\longrightarrow} } \newcommand{\xlongtakenby}[1]{ \overset{#1}{\xlongrightarrow} } \newcommand{\xxlongtakenby}[1]{ \overset{#1}{\xxlongrightarrow} } \newcommand{\xxxlongtakenby}[1]{ \overset{#1}{\xxxlongrightarrow} } \newcommand{\apar}{ {-} } \newcommand{\halts}{ {\downarrow} } \newcommand{\loops}{ {\uparrow} } (f \then g)(y) = y$. Note that $\newcommand{\cl}[1]{ \mathcal{#1} } \newcommand{\sc}[1]{ \mathscr{#1} } \newcommand{\bb}[1]{ \mathbb{#1} } \newcommand{\fk}[1]{ \mathfrak{#1} } \renewcommand{\bf}[1]{ \mathbf{#1} } \renewcommand{\sf}[1]{ \mathsf{#1} } \renewcommand{\rm}[1]{ \mathrm{#1} } \newcommand{\floor}[1]{ { \lfloor {#1} \rfloor } } \newcommand{\ceil}[1]{ { \lceil {#1} \rceil } } \newcommand{\ol}[1]{ \overline{#1} } \newcommand{\t}[1]{ \text{#1} } \newcommand{\norm}[1]{ { \lvert {#1} \rvert } } \newcommand{\mag}[1]{ { \left\lvert {#1} \right\rvert } } \newcommand{\smag}[1]{ { \lvert {#1} \rvert } } \newcommand{\card}{ \t{cd} } \newcommand{\dcup}{ \sqcup } \newcommand{\tup}[1]{ \langle {#1} \rangle } \newcommand{\tl}{ \tilde } \newcommand{\wt}{ \widetilde } \newcommand{\To}{ \Rightarrow } \newcommand{\box}[1]{ \fbox{$ #1 $} } \newcommand{\onall}[1]{ { \llbracket {#1} \rrbracket } } \newcommand{\tpar}[1]{ \left( {#1} \right) } \newcommand{\tbrak}[1]{ \left[ {#1} \right] } \newcommand{\tbrac}[1]{ \left\{ {#1} \right\} } \newcommand{\mapsfrom}{ \mathrel{↤} } \newcommand{\then}{ \operatorname{\ ;\ } } \newcommand{\pre}[1]{{ \small `{#1} }} \newcommand{\injects}{ \hookrightarrow } \newcommand{\embeds}{ \hookrightarrow } \newcommand{\surjects}{ \twoheadrightarrow } \newcommand{\projects}{ \twoheadrightarrow } \newcommand{\id}{ \,\mathrm d } \newcommand{\ddn}[3]{ \frac{ {\mathrm d}^{#1} {#2} }{ {\mathrm d} {#3}^{#1} } } \newcommand{\dd}{ \ddn{} } \newcommand{\d}{ \dd{} } \newcommand{\dn}[1]{ \ddn{#1}{} } \newcommand{\Dn}[2]{ \partial^{#1}_{#2} } \newcommand{\D}{ \Dn{} } \newcommand{\ig}[2]{ \int {#2} \, \mathrm d {#1} } \newcommand{\cat}[1]{{ \sf{#1} }} \newcommand{\yo}{よ} \newcommand{\X}{-\!\!\!-\!\!\!} \newcommand{\xlongrightarrow}{ \mathop{ \, \X\longrightarrow \, } } \newcommand{\xxlongrightarrow}{ \mathop{ \, \X\X\longrightarrow \, } } \newcommand{\xxxlongrightarrow}{ \mathop{ \, \X\X\X\longrightarrow \, } } \newcommand{\takenby}[1]{ \overset{#1}{\rightarrow} } \newcommand{\longtakenby}[1]{ \overset{#1}{\longrightarrow} } \newcommand{\xlongtakenby}[1]{ \overset{#1}{\xlongrightarrow} } \newcommand{\xxlongtakenby}[1]{ \overset{#1}{\xxlongrightarrow} } \newcommand{\xxxlongtakenby}[1]{ \overset{#1}{\xxxlongrightarrow} } \newcommand{\apar}{ {-} } \newcommand{\halts}{ {\downarrow} } \newcommand{\loops}{ {\uparrow} } \text{Im}(f \then g) \subseteq \text{Im}(f)$, so $\newcommand{\cl}[1]{ \mathcal{#1} } \newcommand{\sc}[1]{ \mathscr{#1} } \newcommand{\bb}[1]{ \mathbb{#1} } \newcommand{\fk}[1]{ \mathfrak{#1} } \renewcommand{\bf}[1]{ \mathbf{#1} } \renewcommand{\sf}[1]{ \mathsf{#1} } \renewcommand{\rm}[1]{ \mathrm{#1} } \newcommand{\floor}[1]{ { \lfloor {#1} \rfloor } } \newcommand{\ceil}[1]{ { \lceil {#1} \rceil } } \newcommand{\ol}[1]{ \overline{#1} } \newcommand{\t}[1]{ \text{#1} } \newcommand{\norm}[1]{ { \lvert {#1} \rvert } } \newcommand{\mag}[1]{ { \left\lvert {#1} \right\rvert } } \newcommand{\smag}[1]{ { \lvert {#1} \rvert } } \newcommand{\card}{ \t{cd} } \newcommand{\dcup}{ \sqcup } \newcommand{\tup}[1]{ \langle {#1} \rangle } \newcommand{\tl}{ \tilde } \newcommand{\wt}{ \widetilde } \newcommand{\To}{ \Rightarrow } \newcommand{\box}[1]{ \fbox{$ #1 $} } \newcommand{\onall}[1]{ { \llbracket {#1} \rrbracket } } \newcommand{\tpar}[1]{ \left( {#1} \right) } \newcommand{\tbrak}[1]{ \left[ {#1} \right] } \newcommand{\tbrac}[1]{ \left\{ {#1} \right\} } \newcommand{\mapsfrom}{ \mathrel{↤} } \newcommand{\then}{ \operatorname{\ ;\ } } \newcommand{\pre}[1]{{ \small `{#1} }} \newcommand{\injects}{ \hookrightarrow } \newcommand{\embeds}{ \hookrightarrow } \newcommand{\surjects}{ \twoheadrightarrow } \newcommand{\projects}{ \twoheadrightarrow } \newcommand{\id}{ \,\mathrm d } \newcommand{\ddn}[3]{ \frac{ {\mathrm d}^{#1} {#2} }{ {\mathrm d} {#3}^{#1} } } \newcommand{\dd}{ \ddn{} } \newcommand{\d}{ \dd{} } \newcommand{\dn}[1]{ \ddn{#1}{} } \newcommand{\Dn}[2]{ \partial^{#1}_{#2} } \newcommand{\D}{ \Dn{} } \newcommand{\ig}[2]{ \int {#2} \, \mathrm d {#1} } \newcommand{\cat}[1]{{ \sf{#1} }} \newcommand{\yo}{よ} \newcommand{\X}{-\!\!\!-\!\!\!} \newcommand{\xlongrightarrow}{ \mathop{ \, \X\longrightarrow \, } } \newcommand{\xxlongrightarrow}{ \mathop{ \, \X\X\longrightarrow \, } } \newcommand{\xxxlongrightarrow}{ \mathop{ \, \X\X\X\longrightarrow \, } } \newcommand{\takenby}[1]{ \overset{#1}{\rightarrow} } \newcommand{\longtakenby}[1]{ \overset{#1}{\longrightarrow} } \newcommand{\xlongtakenby}[1]{ \overset{#1}{\xlongrightarrow} } \newcommand{\xxlongtakenby}[1]{ \overset{#1}{\xxlongrightarrow} } \newcommand{\xxxlongtakenby}[1]{ \overset{#1}{\xxxlongrightarrow} } \newcommand{\apar}{ {-} } \newcommand{\halts}{ {\downarrow} } \newcommand{\loops}{ {\uparrow} } f(y) = y$, so $\newcommand{\cl}[1]{ \mathcal{#1} } \newcommand{\sc}[1]{ \mathscr{#1} } \newcommand{\bb}[1]{ \mathbb{#1} } \newcommand{\fk}[1]{ \mathfrak{#1} } \renewcommand{\bf}[1]{ \mathbf{#1} } \renewcommand{\sf}[1]{ \mathsf{#1} } \renewcommand{\rm}[1]{ \mathrm{#1} } \newcommand{\floor}[1]{ { \lfloor {#1} \rfloor } } \newcommand{\ceil}[1]{ { \lceil {#1} \rceil } } \newcommand{\ol}[1]{ \overline{#1} } \newcommand{\t}[1]{ \text{#1} } \newcommand{\norm}[1]{ { \lvert {#1} \rvert } } \newcommand{\mag}[1]{ { \left\lvert {#1} \right\rvert } } \newcommand{\smag}[1]{ { \lvert {#1} \rvert } } \newcommand{\card}{ \t{cd} } \newcommand{\dcup}{ \sqcup } \newcommand{\tup}[1]{ \langle {#1} \rangle } \newcommand{\tl}{ \tilde } \newcommand{\wt}{ \widetilde } \newcommand{\To}{ \Rightarrow } \newcommand{\box}[1]{ \fbox{$ #1 $} } \newcommand{\onall}[1]{ { \llbracket {#1} \rrbracket } } \newcommand{\tpar}[1]{ \left( {#1} \right) } \newcommand{\tbrak}[1]{ \left[ {#1} \right] } \newcommand{\tbrac}[1]{ \left\{ {#1} \right\} } \newcommand{\mapsfrom}{ \mathrel{↤} } \newcommand{\then}{ \operatorname{\ ;\ } } \newcommand{\pre}[1]{{ \small `{#1} }} \newcommand{\injects}{ \hookrightarrow } \newcommand{\embeds}{ \hookrightarrow } \newcommand{\surjects}{ \twoheadrightarrow } \newcommand{\projects}{ \twoheadrightarrow } \newcommand{\id}{ \,\mathrm d } \newcommand{\ddn}[3]{ \frac{ {\mathrm d}^{#1} {#2} }{ {\mathrm d} {#3}^{#1} } } \newcommand{\dd}{ \ddn{} } \newcommand{\d}{ \dd{} } \newcommand{\dn}[1]{ \ddn{#1}{} } \newcommand{\Dn}[2]{ \partial^{#1}_{#2} } \newcommand{\D}{ \Dn{} } \newcommand{\ig}[2]{ \int {#2} \, \mathrm d {#1} } \newcommand{\cat}[1]{{ \sf{#1} }} \newcommand{\yo}{よ} \newcommand{\X}{-\!\!\!-\!\!\!} \newcommand{\xlongrightarrow}{ \mathop{ \, \X\longrightarrow \, } } \newcommand{\xxlongrightarrow}{ \mathop{ \, \X\X\longrightarrow \, } } \newcommand{\xxxlongrightarrow}{ \mathop{ \, \X\X\X\longrightarrow \, } } \newcommand{\takenby}[1]{ \overset{#1}{\rightarrow} } \newcommand{\longtakenby}[1]{ \overset{#1}{\longrightarrow} } \newcommand{\xlongtakenby}[1]{ \overset{#1}{\xlongrightarrow} } \newcommand{\xxlongtakenby}[1]{ \overset{#1}{\xxlongrightarrow} } \newcommand{\xxxlongtakenby}[1]{ \overset{#1}{\xxxlongrightarrow} } \newcommand{\apar}{ {-} } \newcommand{\halts}{ {\downarrow} } \newcommand{\loops}{ {\uparrow} } (f \then g)(y) = g(y)$. And note that $\newcommand{\cl}[1]{ \mathcal{#1} } \newcommand{\sc}[1]{ \mathscr{#1} } \newcommand{\bb}[1]{ \mathbb{#1} } \newcommand{\fk}[1]{ \mathfrak{#1} } \renewcommand{\bf}[1]{ \mathbf{#1} } \renewcommand{\sf}[1]{ \mathsf{#1} } \renewcommand{\rm}[1]{ \mathrm{#1} } \newcommand{\floor}[1]{ { \lfloor {#1} \rfloor } } \newcommand{\ceil}[1]{ { \lceil {#1} \rceil } } \newcommand{\ol}[1]{ \overline{#1} } \newcommand{\t}[1]{ \text{#1} } \newcommand{\norm}[1]{ { \lvert {#1} \rvert } } \newcommand{\mag}[1]{ { \left\lvert {#1} \right\rvert } } \newcommand{\smag}[1]{ { \lvert {#1} \rvert } } \newcommand{\card}{ \t{cd} } \newcommand{\dcup}{ \sqcup } \newcommand{\tup}[1]{ \langle {#1} \rangle } \newcommand{\tl}{ \tilde } \newcommand{\wt}{ \widetilde } \newcommand{\To}{ \Rightarrow } \newcommand{\box}[1]{ \fbox{$ #1 $} } \newcommand{\onall}[1]{ { \llbracket {#1} \rrbracket } } \newcommand{\tpar}[1]{ \left( {#1} \right) } \newcommand{\tbrak}[1]{ \left[ {#1} \right] } \newcommand{\tbrac}[1]{ \left\{ {#1} \right\} } \newcommand{\mapsfrom}{ \mathrel{↤} } \newcommand{\then}{ \operatorname{\ ;\ } } \newcommand{\pre}[1]{{ \small `{#1} }} \newcommand{\injects}{ \hookrightarrow } \newcommand{\embeds}{ \hookrightarrow } \newcommand{\surjects}{ \twoheadrightarrow } \newcommand{\projects}{ \twoheadrightarrow } \newcommand{\id}{ \,\mathrm d } \newcommand{\ddn}[3]{ \frac{ {\mathrm d}^{#1} {#2} }{ {\mathrm d} {#3}^{#1} } } \newcommand{\dd}{ \ddn{} } \newcommand{\d}{ \dd{} } \newcommand{\dn}[1]{ \ddn{#1}{} } \newcommand{\Dn}[2]{ \partial^{#1}_{#2} } \newcommand{\D}{ \Dn{} } \newcommand{\ig}[2]{ \int {#2} \, \mathrm d {#1} } \newcommand{\cat}[1]{{ \sf{#1} }} \newcommand{\yo}{よ} \newcommand{\X}{-\!\!\!-\!\!\!} \newcommand{\xlongrightarrow}{ \mathop{ \, \X\longrightarrow \, } } \newcommand{\xxlongrightarrow}{ \mathop{ \, \X\X\longrightarrow \, } } \newcommand{\xxxlongrightarrow}{ \mathop{ \, \X\X\X\longrightarrow \, } } \newcommand{\takenby}[1]{ \overset{#1}{\rightarrow} } \newcommand{\longtakenby}[1]{ \overset{#1}{\longrightarrow} } \newcommand{\xlongtakenby}[1]{ \overset{#1}{\xlongrightarrow} } \newcommand{\xxlongtakenby}[1]{ \overset{#1}{\xxlongrightarrow} } \newcommand{\xxxlongtakenby}[1]{ \overset{#1}{\xxxlongrightarrow} } \newcommand{\apar}{ {-} } \newcommand{\halts}{ {\downarrow} } \newcommand{\loops}{ {\uparrow} } \text{Im}(f(\text{Im}(f \then g))) \subseteq g$, so $\newcommand{\cl}[1]{ \mathcal{#1} } \newcommand{\sc}[1]{ \mathscr{#1} } \newcommand{\bb}[1]{ \mathbb{#1} } \newcommand{\fk}[1]{ \mathfrak{#1} } \renewcommand{\bf}[1]{ \mathbf{#1} } \renewcommand{\sf}[1]{ \mathsf{#1} } \renewcommand{\rm}[1]{ \mathrm{#1} } \newcommand{\floor}[1]{ { \lfloor {#1} \rfloor } } \newcommand{\ceil}[1]{ { \lceil {#1} \rceil } } \newcommand{\ol}[1]{ \overline{#1} } \newcommand{\t}[1]{ \text{#1} } \newcommand{\norm}[1]{ { \lvert {#1} \rvert } } \newcommand{\mag}[1]{ { \left\lvert {#1} \right\rvert } } \newcommand{\smag}[1]{ { \lvert {#1} \rvert } } \newcommand{\card}{ \t{cd} } \newcommand{\dcup}{ \sqcup } \newcommand{\tup}[1]{ \langle {#1} \rangle } \newcommand{\tl}{ \tilde } \newcommand{\wt}{ \widetilde } \newcommand{\To}{ \Rightarrow } \newcommand{\box}[1]{ \fbox{$ #1 $} } \newcommand{\onall}[1]{ { \llbracket {#1} \rrbracket } } \newcommand{\tpar}[1]{ \left( {#1} \right) } \newcommand{\tbrak}[1]{ \left[ {#1} \right] } \newcommand{\tbrac}[1]{ \left\{ {#1} \right\} } \newcommand{\mapsfrom}{ \mathrel{↤} } \newcommand{\then}{ \operatorname{\ ;\ } } \newcommand{\pre}[1]{{ \small `{#1} }} \newcommand{\injects}{ \hookrightarrow } \newcommand{\embeds}{ \hookrightarrow } \newcommand{\surjects}{ \twoheadrightarrow } \newcommand{\projects}{ \twoheadrightarrow } \newcommand{\id}{ \,\mathrm d } \newcommand{\ddn}[3]{ \frac{ {\mathrm d}^{#1} {#2} }{ {\mathrm d} {#3}^{#1} } } \newcommand{\dd}{ \ddn{} } \newcommand{\d}{ \dd{} } \newcommand{\dn}[1]{ \ddn{#1}{} } \newcommand{\Dn}[2]{ \partial^{#1}_{#2} } \newcommand{\D}{ \Dn{} } \newcommand{\ig}[2]{ \int {#2} \, \mathrm d {#1} } \newcommand{\cat}[1]{{ \sf{#1} }} \newcommand{\yo}{よ} \newcommand{\X}{-\!\!\!-\!\!\!} \newcommand{\xlongrightarrow}{ \mathop{ \, \X\longrightarrow \, } } \newcommand{\xxlongrightarrow}{ \mathop{ \, \X\X\longrightarrow \, } } \newcommand{\xxxlongrightarrow}{ \mathop{ \, \X\X\X\longrightarrow \, } } \newcommand{\takenby}[1]{ \overset{#1}{\rightarrow} } \newcommand{\longtakenby}[1]{ \overset{#1}{\longrightarrow} } \newcommand{\xlongtakenby}[1]{ \overset{#1}{\xlongrightarrow} } \newcommand{\xxlongtakenby}[1]{ \overset{#1}{\xxlongrightarrow} } \newcommand{\xxxlongtakenby}[1]{ \overset{#1}{\xxxlongrightarrow} } \newcommand{\apar}{ {-} } \newcommand{\halts}{ {\downarrow} } \newcommand{\loops}{ {\uparrow} } g(y) = y$. Done. Remark: proving this on projections was straightforward, but proving it on idempotents would not be. Say $\newcommand{\cl}[1]{ \mathcal{#1} } \newcommand{\sc}[1]{ \mathscr{#1} } \newcommand{\bb}[1]{ \mathbb{#1} } \newcommand{\fk}[1]{ \mathfrak{#1} } \renewcommand{\bf}[1]{ \mathbf{#1} } \renewcommand{\sf}[1]{ \mathsf{#1} } \renewcommand{\rm}[1]{ \mathrm{#1} } \newcommand{\floor}[1]{ { \lfloor {#1} \rfloor } } \newcommand{\ceil}[1]{ { \lceil {#1} \rceil } } \newcommand{\ol}[1]{ \overline{#1} } \newcommand{\t}[1]{ \text{#1} } \newcommand{\norm}[1]{ { \lvert {#1} \rvert } } \newcommand{\mag}[1]{ { \left\lvert {#1} \right\rvert } } \newcommand{\smag}[1]{ { \lvert {#1} \rvert } } \newcommand{\card}{ \t{cd} } \newcommand{\dcup}{ \sqcup } \newcommand{\tup}[1]{ \langle {#1} \rangle } \newcommand{\tl}{ \tilde } \newcommand{\wt}{ \widetilde } \newcommand{\To}{ \Rightarrow } \newcommand{\box}[1]{ \fbox{$ #1 $} } \newcommand{\onall}[1]{ { \llbracket {#1} \rrbracket } } \newcommand{\tpar}[1]{ \left( {#1} \right) } \newcommand{\tbrak}[1]{ \left[ {#1} \right] } \newcommand{\tbrac}[1]{ \left\{ {#1} \right\} } \newcommand{\mapsfrom}{ \mathrel{↤} } \newcommand{\then}{ \operatorname{\ ;\ } } \newcommand{\pre}[1]{{ \small `{#1} }} \newcommand{\injects}{ \hookrightarrow } \newcommand{\embeds}{ \hookrightarrow } \newcommand{\surjects}{ \twoheadrightarrow } \newcommand{\projects}{ \twoheadrightarrow } \newcommand{\id}{ \,\mathrm d } \newcommand{\ddn}[3]{ \frac{ {\mathrm d}^{#1} {#2} }{ {\mathrm d} {#3}^{#1} } } \newcommand{\dd}{ \ddn{} } \newcommand{\d}{ \dd{} } \newcommand{\dn}[1]{ \ddn{#1}{} } \newcommand{\Dn}[2]{ \partial^{#1}_{#2} } \newcommand{\D}{ \Dn{} } \newcommand{\ig}[2]{ \int {#2} \, \mathrm d {#1} } \newcommand{\cat}[1]{{ \sf{#1} }} \newcommand{\yo}{よ} \newcommand{\X}{-\!\!\!-\!\!\!} \newcommand{\xlongrightarrow}{ \mathop{ \, \X\longrightarrow \, } } \newcommand{\xxlongrightarrow}{ \mathop{ \, \X\X\longrightarrow \, } } \newcommand{\xxxlongrightarrow}{ \mathop{ \, \X\X\X\longrightarrow \, } } \newcommand{\takenby}[1]{ \overset{#1}{\rightarrow} } \newcommand{\longtakenby}[1]{ \overset{#1}{\longrightarrow} } \newcommand{\xlongtakenby}[1]{ \overset{#1}{\xlongrightarrow} } \newcommand{\xxlongtakenby}[1]{ \overset{#1}{\xxlongrightarrow} } \newcommand{\xxxlongtakenby}[1]{ \overset{#1}{\xxxlongrightarrow} } \newcommand{\apar}{ {-} } \newcommand{\halts}{ {\downarrow} } \newcommand{\loops}{ {\uparrow} } f, g$ are idempotent. Without commutativity, that seems to entail very little about $\newcommand{\cl}[1]{ \mathcal{#1} } \newcommand{\sc}[1]{ \mathscr{#1} } \newcommand{\bb}[1]{ \mathbb{#1} } \newcommand{\fk}[1]{ \mathfrak{#1} } \renewcommand{\bf}[1]{ \mathbf{#1} } \renewcommand{\sf}[1]{ \mathsf{#1} } \renewcommand{\rm}[1]{ \mathrm{#1} } \newcommand{\floor}[1]{ { \lfloor {#1} \rfloor } } \newcommand{\ceil}[1]{ { \lceil {#1} \rceil } } \newcommand{\ol}[1]{ \overline{#1} } \newcommand{\t}[1]{ \text{#1} } \newcommand{\norm}[1]{ { \lvert {#1} \rvert } } \newcommand{\mag}[1]{ { \left\lvert {#1} \right\rvert } } \newcommand{\smag}[1]{ { \lvert {#1} \rvert } } \newcommand{\card}{ \t{cd} } \newcommand{\dcup}{ \sqcup } \newcommand{\tup}[1]{ \langle {#1} \rangle } \newcommand{\tl}{ \tilde } \newcommand{\wt}{ \widetilde } \newcommand{\To}{ \Rightarrow } \newcommand{\box}[1]{ \fbox{$ #1 $} } \newcommand{\onall}[1]{ { \llbracket {#1} \rrbracket } } \newcommand{\tpar}[1]{ \left( {#1} \right) } \newcommand{\tbrak}[1]{ \left[ {#1} \right] } \newcommand{\tbrac}[1]{ \left\{ {#1} \right\} } \newcommand{\mapsfrom}{ \mathrel{↤} } \newcommand{\then}{ \operatorname{\ ;\ } } \newcommand{\pre}[1]{{ \small `{#1} }} \newcommand{\injects}{ \hookrightarrow } \newcommand{\embeds}{ \hookrightarrow } \newcommand{\surjects}{ \twoheadrightarrow } \newcommand{\projects}{ \twoheadrightarrow } \newcommand{\id}{ \,\mathrm d } \newcommand{\ddn}[3]{ \frac{ {\mathrm d}^{#1} {#2} }{ {\mathrm d} {#3}^{#1} } } \newcommand{\dd}{ \ddn{} } \newcommand{\d}{ \dd{} } \newcommand{\dn}[1]{ \ddn{#1}{} } \newcommand{\Dn}[2]{ \partial^{#1}_{#2} } \newcommand{\D}{ \Dn{} } \newcommand{\ig}[2]{ \int {#2} \, \mathrm d {#1} } \newcommand{\cat}[1]{{ \sf{#1} }} \newcommand{\yo}{よ} \newcommand{\X}{-\!\!\!-\!\!\!} \newcommand{\xlongrightarrow}{ \mathop{ \, \X\longrightarrow \, } } \newcommand{\xxlongrightarrow}{ \mathop{ \, \X\X\longrightarrow \, } } \newcommand{\xxxlongrightarrow}{ \mathop{ \, \X\X\X\longrightarrow \, } } \newcommand{\takenby}[1]{ \overset{#1}{\rightarrow} } \newcommand{\longtakenby}[1]{ \overset{#1}{\longrightarrow} } \newcommand{\xlongtakenby}[1]{ \overset{#1}{\xlongrightarrow} } \newcommand{\xxlongtakenby}[1]{ \overset{#1}{\xxlongrightarrow} } \newcommand{\xxxlongtakenby}[1]{ \overset{#1}{\xxxlongrightarrow} } \newcommand{\apar}{ {-} } \newcommand{\halts}{ {\downarrow} } \newcommand{\loops}{ {\uparrow} } (f \then g) \then (f \then g)$!