Eine Menge m E wird implementiert als eine partielle Abbildung f : E1 (in eine Menge mit nur einem Element)
Set<E> m ; Map<E, Object> f ;
ist äquivalent zu totaler Abbildung E2
(in eine Menge mit genau zwei Elementen)
Vgl. Isomorphie zwischen