順序

前回順序集合について紹介しました。ここから更に順序の細かい定義に触れていきたいと思います。今回は全て等号あり順序(X,≦)について書きますが、等号なし順序についても同様に定義できます。今回も頑張っていきましょう！ 極大/極小、最大/...

同値関係は"="の条件を緩めた二項関係として捉えることができました。今度は"≦",もしくは"＜"の条件を緩めた二項関係として「順序」を紹介します。 定義(等号付き順序) \(A≠\varnothing \)上の二項関係\(I...