add stl-set