public Set<T> concat(Set<T> s)
  { Set<T> res=this;
    if(s==null)
    { return res;
    }    
    else
    { if(s.next==null)
      { return res.append(s.a);}
      else//s.next!=null
      { return res.append(s.a).concat(s.next);}  
    }     
  }