On the Formalization of Open Membership in Coalition Formation Games