===== Solution set =====
==== Set ====
| @#55CCEE: context     | @#55CCEE: $ X $ |
| @#55CCEE: context     | @#55CCEE: $ \langle Y,y_0 \rangle $ ... pointed set |
| @#55CCEE: context     | @#55CCEE: $ f:X\to Y $ |
| @#FF9944: definition  | @#FF9944: $ S := \{x\mid f(x)=y_0\}$ |

-----
$S=f^{-1}(\{y_0\})$ where $f^{-1}:{\mathcal P}Y\to{\mathcal P}X$.

=== Reference ===
Wikipedia: [[http://en.wikipedia.org/wiki/Solution_set|Solution set]]

-----
=== Context ===
[[Pointed set]]
=== Related ===
[[Equalizer . category theory]]