Naïve set theory MOC

Canonical decomposition

Let be a function and . Then we have the canonical decomposition naïve

https://q.uiver.app/#q=WzAsNCxbMCwwLCJBIl0sWzIsMCwiQS97XFxzaW19Il0sWzQsMCwiXFxtYXRocm17aW19XFwsZiJdLFs2LDAsIkIiXSxbMiwzLCIiLDAseyJzdHlsZSI6eyJ0YWlsIjp7Im5hbWUiOiJob29rIiwic2lkZSI6InRvcCJ9fX1dLFswLDEsIiIsMCx7InN0eWxlIjp7ImhlYWQiOnsibmFtZSI6ImVwaSJ9fX1dLFsxLDIsIlxcYmFyIGYiLDAseyJjdXJ2ZSI6LTF9XSxbMiwxLCIiLDEseyJjdXJ2ZSI6LTF9XSxbMCwzLCJmIiwyLHsiY3VydmUiOjJ9XV0=

where is a bijection.1


develop | en | sembr

Footnotes

  1. 2009. Algebra: Chapter 0, §I.2.8, p. 15