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 und b a => a = b (Antisymmetrie)

a b und b c => a c (Transitivität)