Definition:Order Property

From ProofWiki
Jump to navigation Jump to search

Definition

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}$


Also see

  • Results about order properties can be found here.


Sources