let
add s set = join set (single s)