Math and science::Analysis::Tao::03: Set theory Power set axiom Let X and Y be sets. Then there exists a set, denoted YX, which consists of [...], thus f∈YX⟺f is a function with domain X and range Y 01.03.2020