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

• Menge $\mathfrak{P}(E)$ aller Teilmengen von E
• Menge 2^E aller totalen Abbildungen E$\to$2