let add s set = join set (single s)