Math and science::Analysis::Tao::03: Set theory
Power set axiom
Let \( X \) and \( Y \) be sets. Then there exists a set, denoted \( Y^X \), which consists of [...], thus
\[ f \in Y^X \iff f \text{ is a function with domain } X \text{ and range } Y \]