added to_json function to Set