Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
unary_operation [2013/09/06 22:04] 127.0.0.1 external edit |
unary_operation [2014/02/08 18:40] nikolaj |
||
|---|---|---|---|
| Line 1: | Line 1: | ||
| ===== Unary operation ===== | ===== Unary operation ===== | ||
| - | ==== Definition ==== | + | ==== Set ==== |
| - | | $X$ | | + | | @#88DDEE: $X$ ... set | |
| - | ^ $ f\in \text{unaryOp}(X) $ ^ | + | | @#FFBB00: $ f\in \text{it}(X) $ | |
| - | The set of unary operations on $X$. | + | | @#AAFFAA: $ f:X\to X $ | |
| - | | $ f:X\to X $ | | + | ==== Discussion ==== |
| - | + | ||
| - | ==== Ramifications ==== | + | |
| === Reference === | === Reference === | ||
| - | Mizar files: [[http://mizar.org/JFM/Vol1/binop_1.html|BINOP_1]] | ||
| - | |||
| Wikipedia: [[http://en.wikipedia.org/wiki/Unary_operation|Unary operation]] | Wikipedia: [[http://en.wikipedia.org/wiki/Unary_operation|Unary operation]] | ||
| - | |||
| ==== Parents ==== | ==== Parents ==== | ||
| - | Set constructor | ||
| === Subset of === | === Subset of === | ||
| - | [[Binary relation on a set]] | + | [[Binary relation on a set]], [[Function]] |
| - | === Special case of === | + | |
| - | [[Function]] | + | |
| - | + | ||
| - | Via. $\text{codom}(f)\overset{!}{=}\text{dom}(f)$. | + | |
