「ブルバキ・ヴィットの定理」の版間の差分

削除された内容 追加された内容
m 微細な表現の調整
→‎適用事例: 誤字訂正
タグ: モバイル編集 モバイルウェブ編集
69行目:
∅ ∉ ''X'' だから、
 
: <math>f (x) = g \big ( \{ y \in X \mid y \precsucc x \} \big ) \qquad (x \in X) </math>
 
により、関数 ''f'' : ''X'' → ''X'' を定めることができる。