Differences
This shows you the differences between two versions of the page.
|
ℕ_valued_function [2014/03/21 11:11] |
ℕ_valued_function [2014/03/21 11:11] (current) |
||
|---|---|---|---|
| Line 1: | Line 1: | ||
| + | ===== ℕ valued function ===== | ||
| + | ==== Function ==== | ||
| + | | @#55CCEE: context | @#55CCEE: $ X $ | | ||
| + | | @#FFBB00: definiendum | @#FFBB00: $ \mathrm{it}\equiv X \to \mathbb N $ | | ||
| + | |||
| + | ==== Discussion ==== | ||
| + | ==== Parents ==== | ||
| + | === Subset of === | ||
| + | [[ℤ valued function]] | ||
| + | === Requirements === | ||
| + | [[Natural number]] | ||
