Eine zyklische Anordnung auf einer Menge
X
{\displaystyle X}
ist eine Relation
R
⊂
X
3
{\displaystyle R\subset X^{3}}
auf Tripeln von Elementen aus
X
{\displaystyle X}
mit folgenden Eigenschaften:
Wenn
[
a
,
b
,
c
]
{\displaystyle \left[a,b,c\right]}
zyklisch angeordnet ist, dann auch
[
b
,
c
,
a
]
{\displaystyle \left[b,c,a\right]}
.
Wenn
[
a
,
b
,
c
]
{\displaystyle \left[a,b,c\right]}
zyklisch angeordnet ist, dann ist
[
b
,
a
,
c
]
{\displaystyle \left[b,a,c\right]}
nicht zyklisch angeordnet.
Wenn
[
a
,
b
,
c
]
{\displaystyle \left[a,b,c\right]}
und
[
a
,
c
,
d
]
{\displaystyle \left[a,c,d\right]}
zyklisch angeordnet sind, dann ist auch
[
a
,
b
,
d
]
{\displaystyle \left[a,b,d\right]}
zyklisch angeordnet.
Wenn
a
,
b
,
c
{\displaystyle a,b,c}
unterschiedliche Elemente sind, dann ist entweder
[
a
,
b
,
c
]
{\displaystyle \left[a,b,c\right]}
oder
[
c
,
b
,
a
]
{\displaystyle \left[c,b,a\right]}
zyklisch angeordnet.
Wenn
X
{\displaystyle X}
linear angeordnet ist, dann hat man auch eine zyklische Anordnung durch
[
a
,
b
,
c
]
⟺
a
<
b
<
c
oder
b
<
c
<
a
oder
c
<
a
<
b
{\displaystyle \left[a,b,c\right]\Longleftrightarrow a<b<c{\mbox{ oder }}b<c<a{\mbox{ oder }}c<a<b}
.
X
=
{
x
,
y
,
z
}
{\displaystyle X=\left\{x,y,z\right\}}
: auf
X
∖
{
y
}
{\displaystyle X\setminus \left\{y\right\}}
hat man die lineare Ordnung
<
1
{\displaystyle <_{1}}
, auf
X
∖
{
z
}
{\displaystyle X\setminus \left\{z\right\}}
die lineare Ordnung
<
2
{\displaystyle <_{2}}
auf
X
∖
{
x
}
{\displaystyle X\setminus \left\{x\right\}}
die lineare Ordnung
<
3
{\displaystyle <_{3}}
.
Für eine zyklische Anordnung kann man zu jedem
x
∈
X
{\displaystyle x\in X}
eine lineare Anordnung auf
X
∖
{
x
}
{\displaystyle X\setminus \left\{x\right\}}
definieren durch
a
<
x
b
⟺
[
x
,
a
,
b
]
{\displaystyle a<_{x}b\Longleftrightarrow \left[x,a,b\right]}
.
Für zwei Elemente
x
,
y
∈
X
{\displaystyle x,y\in X}
stimmen die so definierten linearen Anordnungen auf
X
∖
{
x
,
y
}
{\displaystyle X\setminus \left\{x,y\right\}}
überein mit der Ausnahme von
a
<
x
y
<
x
b
⇔
b
<
y
x
<
y
a
{\displaystyle a<_{x}y<_{x}b\Leftrightarrow b<_{y}x<_{y}a}
.
E. Huntington : A Set of Independent Postulates for Cyclic Order , Proceedings of the National Academy of Sciences of the United States of America, 2 (11): 630–631, 1916.