Definition The set of all functions from X to Y: Yx={fIf:X→Y} y:y0={0 0={0 X≠0：0x=0 Hengfeng Wei (hfweiinju.edu.cn)1-10 Set Theory (III):Functions 2019年12月10日9/40Definition The set of all functions from X to Y : Y X = {f | f : X → Y } ∀Y : Y ∅ = {∅} ∅ ∅ = {∅} ∀X ̸= ∅ : ∅ X = ∅ Hengfeng Wei (hfwei@nju.edu.cn) 1-10 Set Theory (III): Functions 2019 年 12 月 10 日 9 / 40