Naïve set theory MOC Canonical decomposition Let be a function and . Then we have the canonical decomposition naïve where is a bijection.1 develop | en | sembr Footnotes 2009. Algebra: Chapter 0, §I.2.8, p. 15 ↩