choice function

英語（米国） (en-US) 英語（イギリス） (en-GB)

名詞

(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.

日本語の意味

集合論における選択関数。非空集合族の各集合からそれぞれ1つの要素を選び取る関数を指す。

英語の意味

(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.

このボタンはなに？

To apply Zorn's Lemma in this argument, we first define a choice function that selects one element from each nonempty set in the family.

この議論でツォルンの補題を適用するために、まず族の各非空集合から一つの元を選ぶ選択関数を定義する。

詳細

意味（1）

(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 functions （ plural ）