Definition The set of all functions from X to Y: Yx={flf:X→Y} Yx={f∈P(X×Y)|f:X→Y} X and Y are finite sets with x and y elements,respectively. IXI=z IYI=y,IYX1= 4口￥0,43，t夏里Q0 马殿(najunnju.edu.cm) 1-10 Set Theory(I):Functions2021年12月09日8/40
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Definition The set of all functions from X to Y : Y X = {f | f : X → Y } Y X = {f ∈ P(X × Y ) | f : X → Y } X and Y are finite sets with x and y elements, respectively. |X| = x |Y | = y, |Y X| = y x 马骏 (majun@nju.edu.cn) 1-10 Set Theory (III): Functions 2021 年 12 月 09 日 8 / 40
Definition The set of all functions from X to Y: Yx={flf:X→Y} Yx={f∈P(X×Y)|f:X→Y} X and Y are finite sets with x and y elements,respectively. IXI=z IYI=y,IYxI=y 4口￥0,43，t夏里Q0 马殿(najunnju.edu.cm) 1-10 Set Theory(I):Functions2021年12月09日8/40
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Definition The set of all functions from X to Y : Y X = {f | f : X → Y } Y X = {f ∈ P(X × Y ) | f : X → Y } X and Y are finite sets with x and y elements, respectively. |X| = x |Y | = y, |Y X| = y x 马骏 (majun@nju.edu.cn) 1-10 Set Theory (III): Functions 2021 年 12 月 09 日 8 / 40
Definition The set of all functions from X to Y: Yx={fIf:X→Y Y:y0= 4口￥0,43，t夏里Q0 马殿(majunnju.edu.cm)1-10 Set Theory(I:Functions2021年12月09日9/40
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Definition The set of all functions from X to Y : Y X = {f | f : X → Y } ∀Y : Y ∅ = {∅} ∅ ∅ = {∅} ∀X 6= ∅ : ∅ X = ∅ 马骏 (majun@nju.edu.cn) 1-10 Set Theory (III): Functions 2021 年 12 月 09 日 9 / 40
Definition The set of all functions from X to Y: Yx={f|f:X→Y} y:y0={0} 4口￥0,43，t夏里Q0 马殿(majunnju.edu.cm)1-10 Set Theory(I:Functions2021年12月09日9/40
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Definition The set of all functions from X to Y : Y X = {f | f : X → Y } ∀Y : Y ∅ = {∅} ∅ ∅ = {∅} ∀X 6= ∅ : ∅ X = ∅ 马骏 (majun@nju.edu.cn) 1-10 Set Theory (III): Functions 2021 年 12 月 09 日 9 / 40
Definition The set of all functions from X to Y: Yx={fIf:X→Y} y:y0={0} 00={01 4口￥0,43，t夏里Q0 马殿(majunnju.edu.cm)1-10 Set Theory(I:Functions2021年12月09日9/40
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Definition The set of all functions from X to Y : Y X = {f | f : X → Y } ∀Y : Y ∅ = {∅} ∅ ∅ = {∅} ∀X 6= ∅ : ∅ X = ∅ 马骏 (majun@nju.edu.cn) 1-10 Set Theory (III): Functions 2021 年 12 月 09 日 9 / 40