SUBSET-OF-SET
=============

Syntax: (subset-of-set <set-of Typ-A>
                       [:EXTRACT-FN <extract-fn>]
                       [:TEST Test-Fn]
                       [:TYPE <Typbezeichner>])

        ==> <set-of Typ-x>

Diese Funktion erzeugt eine Teilmenge der angegebenen
Menge.

Warnung: Eine Typ-Prüfung kann einen Fehler
         verursachen!

Beispiel: >(setf *hauptstaedte*
               (subset-of-set *staedte*
               :EXTRACT-FN #'(lambda (a-element)
               (is-frame-of a-element 'hauptstadt))
               :TYPE 'hauptstadt))
          <set-of HAUPTSTADT (...)>
         
          >(map-set *)
          (Paris Bruessel Berlin)