ExternalURL
補集合