Main Page
|
See live article
|
Alphabetical index
Order-automorphism
Given a
partially ordered set
(
S
, <=) an
order-automorphism
of (
S
, <=) is an
order isomorphism
from (
S
, <=) to itself.
The set of order-automorphisms of a set forms a
group
.