Explicit defn [WinSet]