(set theory) A function whose domain is a family of nonempty sets, and which selects a member from each of those sets as its value.
choice function
この議論でツォルンの補題を適用するために、まず族の各非空集合から一つの元を選ぶ選択関数を定義する。
アカウントを持っていませんか？ 新規登録
アカウントを持っていますか？ ログイン
DiQt（ディクト）
無料
★★★★★★★★★★
