English Dictionary

choice function

名詞

(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つの要素を選び取る関数を指す。

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 ）