TreeSet, TreeMap

Eine Menge m $ \subseteq$ E wird implementiert als eine partielle Abbildung f : E$ \to$1 (in eine Menge mit nur einem Element)

Set<E> m  ;  Map<E, Object> f ;

ist äquivalent zu totaler Abbildung E$ \to$2

(in eine Menge mit genau zwei Elementen)

Vgl. Isomorphie zwischen



Johannes Waldmann 2004-11-30