Sortierte Listen
Bei sortierten Listen besitzt jedes Element einen Schlüssel, für den es eine vollständige Ordnungs-Relation
gibt.
Eine Ordnungs-Relation
ist vollständig, wenn
a
a
(Reflexivität)
a
b
∧
b
a
=>
a
=
b
(Antisymmetrie)
a
b
∧
b
c
=>
a
c
(Transitivität)
Copyright © 1999, 2004, 2005
Andreas Borchert
, in HTML konvertiert am 14.09.2005