added is_unique_set()