提携形ゲームは協力ゲームにおける基本モデルである。提携形ゲームとは拘束力のある合意を前提に、提携というプレイヤーの部分集合を中心に、特性関数によって状況を表現するゲームである。提携形ゲームはプレイヤーの集合、提携、特性関数、利得ベクトルで表現され、そのゲームの解としては満たすべき公準によって、シャープレイ値、コア、仁、安定集合などが考えられている。提携形ゲームの解である配分は全体合理性と個人合理性を満たすべきである。