Order automorphism
HomePage
|
Recent Changes
|
Preferences
Given a
partially ordered set
(
S
, <=) an
order automorphism
of (
S
, <=) is an
order isomorphism
from (
S
, <=) to itself.
The set of order automorphisms forms a
group
.