... ⊆ S ⊂S ∈ P⊇(X) is called a choice function on X. In this section, we ... ⊂S,T ∈ P⊇(X), S ⊆ T implies either C(S) ∀ C(T) = ⊃ or C(S) ⊆ C(T) ...
確定! 回上一頁