半順序

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