Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | Next revision Both sides next revision | ||
|
function [2014/10/26 13:57] nikolaj |
function [2014/10/26 13:57] nikolaj |
||
|---|---|---|---|
| Line 7: | Line 7: | ||
| ==== Discussion ==== | ==== Discussion ==== | ||
| - | One defines $\mathrm{dom}(f):=\bigcup\pi_1(f)$ | + | One defines $\mathrm{dom}(f):=\bigcup\pi_1(f)$. |
| The requirement $\mathrm{dom}(f)=X$ just says that the function must make sense for all inputs. | The requirement $\mathrm{dom}(f)=X$ just says that the function must make sense for all inputs. | ||
