「順序集合」の版間の差分
削除された内容 追加された内容
118行目:
=== 定義 ===
* {{mvar|x}} が {{mvar|A}} の'''上界'''（[[Wikt:resp.|resp.]] '''下界'''）: {{math|∀''y'' ∈ ''A'' : ''y''
* {{mvar|x}} が {{mvar|A}} の'''上限'''（resp. '''下限'''）: {{mvar|x}} は集合 {{math|{{(}}''y'' ∈ ''P'' {{!}} ''y''}} は {{mvar|A}} の上界（resp. 下界）{{math|{{)}}}} の最小元（resp. 最大元）
* {{mvar|x}} が {{mvar|A}} の'''最大元'''（resp. '''最小元'''）: {{mvar|x}} は {{mvar|A}} の元でしかも {{mvar|x}} は {{mvar|A}} の上界（resp. 下界）である
| |||