ich gehe von ℕ = {1,2,3 ... } aus
f: ℕ → ℕ , f(n) = n + 1 ; g = f -1
f(ℕ) = { n∈ℕ | n ≥ 2 }
f -1: { n∈ℕ | n ≥ 2 } → ℕ ; n ↦ n - 1
f -1 ( { n∈ℕ | n ≥ 2 } ) = ℕ
f o g = f o f -1 : { n∈ℕ | n ≥ 2 } → ℕ ; n ↦ n
fog = ℕ≥2 x ℕ≥2
gof : ℕ → ℕ ; n → n
gof = ℕ x ℕ
→ fog ⊆ gof und fog ≠ gof
Gruß Wolfgang