- #1
kidsasd987
- 143
- 4
Following theorems are congruent(a) Axiom of Choice
(b) if ∀i:i∈I: <Yi | i∈I > → Yi≠Ø
(c) Ø∉S → ∃f: f is on a set S
s.t. f(X)∈X for all X∈S. where f is choice function of S.
I am confused with the theorem (c), as how the Collection S does not include empty set.
I believe every set needs to include an empty set as its element?
Can anyone please help me figure out this?
(b) if ∀i:i∈I: <Yi | i∈I > → Yi≠Ø
(c) Ø∉S → ∃f: f is on a set S
s.t. f(X)∈X for all X∈S. where f is choice function of S.
I am confused with the theorem (c), as how the Collection S does not include empty set.
I believe every set needs to include an empty set as its element?
Can anyone please help me figure out this?