# Category:Examples of Order Properties

Jump to navigation
Jump to search

This category contains examples of Order Property.

An **order property** is a property of an ordered sets which is invariant under order isomorphism.

That is, if $\struct {S_1, \preceq_1}$ and $\struct {S_2, \preceq_2}$ are isomorphic ordered sets, and $P$ is a property, then:

- $\map P {S_1, \preceq_1} \iff \map P {S_2, \preceq_2}$

## Pages in category "Examples of Order Properties"

The following 3 pages are in this category, out of 3 total.