This is an old revision of the document!
Solution set
Set
| context | $ X $ |
| context | $ \langle Y,y_0 \rangle $ … pointed set |
| context | $ f:X\to Y $ |
| definiendum | $ x \in$ it |
| postulate | $ f(x)=y_0 $ |
This is also written $f^{-1}(\{y_0\})$, with $f^{-1}:{\mathcal P}Y\to{\mathcal P}X$.
Reference
Wikipedia: Solution set
Context
Related
