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 ↩

Graph View