Restricted image
Set
| context | f:X→Y |
| context | S⊆X |
| postulate | f(S)≡im(f|S) |
Discussion
The notation f(S) is overloading f, as S is not actually in the domain X of f.
Reference
Wikipedia: Image
Parents
Subset of
Context
| context | f:X→Y |
| context | S⊆X |
| postulate | f(S)≡im(f|S) |
The notation f(S) is overloading f, as S is not actually in the domain X of f.
Wikipedia: Image
