small modifications
add destructor to setset::iterator
common on that '*' is same as knuth's join