template< class T >
  class power : public set<set<T> > {
\c{\fbox{power<T>}}
};

slide: The powerset class