「順序集合」の版間の差分

=== {{anchors|前順序|半順序|全順序|前順序集合|半順序集合|全順序集合}}前順序・半順序・全順序 ===

{{mvar|P}} を集合とし、{{math|≤}} を {{mvar|P}} 上で定義された[[二項関係]] とする。

* {{math|≤}} が前順序でありさらに反対称律を満たすとき、{{math|≤}} を {{mvar|P}} 上の'''半順序'''という。

* {{math|≤}} が半順序でありさらに全順序律を満たすとき、{{math|≤}} を {{mvar|P}} 上の'''全順序'''という。