Implementierung des set-typs.