Value dividends, the Harsanyi set and extensions, and the proportional Harsanyi solution

A new concept for TU-values, called value dividends, is introduced. Similar to Harsanyi dividends, value dividends are defined recursively and provide new characterizations of values from the Harsanyi set. In addition, we generalize the Harsanyi set where each of the TU-values from this set is defined by the distribution of the Harsanyi dividends via sharing function systems and give an axiomatic characterization. As a TU value from the generalized Harsanyi set, we present the proportional Harsanyi solution, a new proportional solution concept. A new characterization of the Shapley value is proposed as a side effect. None of our characterizations uses additivity.


Introduction
The concept of Harsanyi dividends was introduced by Harsanyi (1959). They can be defined inductively: the dividend of the empty set is zero and the dividend of any other possible coalition of a player set equals the worth of the coalition minus the sum of all dividends of proper subsets of that coalition. Hence, Harsanyi dividends can be interpreted as "the pure contribution of cooperation in a TU-game" (Billot and Thisse 2005). Harsanyi could show that if the Harsanyi dividends of all possible coalitions are spaced evenly among its members, each player's payoff equals the Shapley value (Shapley 1953b). The weighted Shapley values (Shapley 1953a) distribute the Harsanyi dividends proportionally to players' personal given weights. The ratio of the weights of two players is equal for all coalitions containing them. However, B Manfred Besner manfred.besner@hft-stuttgart.de 1 Department of Geomatics, Computer Science and Mathematics, HFT Stuttgart, University of Applied Sciences, Schellingstr. 24, 70174 Stuttgart, Germany sometimes this seems unrealistic. For example, in some coalitions, the influence of one of two players on the other players may be higher than in other coalitions with other players. Hammer et al. (1977) and Vasil'ev (1978) proposed the Harsanyi set, a class of TU-values called Harsanyi solutions, also known as sharing values (Derks et al. 2000) which take this into account. There the players' weights, assigned to the Harsanyi dividends via a sharing system, can differ for all coalitions. Myerson (1980) introduced the balanced contributions axiom which allows, along with efficiency, an elegant axiomatization of the Shapley value. It states for two players i and j that j's presence contributes as much to i's payoff as i's presence contributes to j's payoff. The w-balanced contributions properties, the ratio of the winnings or losses of two players when the other player leaves the game is proportional to their weights, joint with efficiency, characterize the TU-values of an interesting class (Myerson 1980). These values coincide with the weighted Shapley values (Hart and Mas-Colell 1989).
So far, no analogous characterization to the above-mentioned characterization of the weighted Shapley values is known for the Harsanyi solutions. To enable corresponding axiomatizations for the Harsanyi solutions, we present a new concept, called "value dividends." These are defined inductively: the value dividend of a singleton is the player's payoff in a single-player game and the value dividend of any (non-empty) other coalition to a player represents that player's payoff in the game on the player set of this coalition minus all value dividends to that player in all subgames. We can therefore regard a value dividend as the "pure" payoff to a player that has not yet been realized in a subgame.
Similar to the w-balanced contributions properties, we introduce an axiom called λ-balanced value dividends where λ is a sharing system. If λ has the characteristic that the ratio of two players sharing weights is equal in all coalitions containing them, the λ-balanced value dividends property is equivalent to the w-balanced contributions property.
The value dividends allow further axiomatizations of the Harsanyi solutions and lead to an extension of the Harsanyi set: we provide an axiomatization of the class of generalized Harsanyi solutions, called generalized Harsanyi set. These values are generally no longer additive and use sharing function systems to distribute the Harsanyi dividends. A central property of all TU-values, discussed in this paper, is the inessential grand coalition property. This property states that in games where the Harsanyi dividend of the grand coalition is zero a players' payoff in the subgames determines the player's payoff.
The generalized Harsanyi set allows proportionality principles in allocation. A common consensus of most proportional sharing rules is the proportional standardness property for two-player games (Ortmann 2000), which means that in two-player games the whole must be divided proportionally to the singleton worths of both players. For more than two players, however, there is absolutely no agreement on how proportionality should be applied. Many possibilities are suggested such as the setvalued proper Shapley value (Vorob'ev and Liapunov 1998;van den Brink et al. 2015) where proportionality is stated by a fixed point argument.
Whereas, as single-valued solutions, the proportional rule (Moriarity 1975) and, as a value from the generalized Harsanyi set, the proportional Shapley value (Gangolly 1981;Besner 2016;Béal et al. 2018) consider only the worths of the singletons as weights, the proportional value (Feldman 1999;Ortmann 2000) uses the worths of all coalitions in a recursive formula. As a new representative of the generalized Harsanyi set, we introduce the proportional Harsanyi solution that also involves for calculating the whole coalition function for a sharing function system in a recursive formula.
The article is organized as follows. Section 2 contains some preliminaries. In Sect. 3, we define the concept of value dividends, present a new characterization of the Harsanyi set via efficiency and λ-balanced value dividends and contrast w-balanced contributions with λ-balanced value dividends. In Sect. 4, we introduce the inessential grand coalition property that is crucial for the remainder of the article and propose an axiomatization of the Harsanyi solutions and of the Harsanyi set as a whole. In Sect. 5, we generalize the Harsanyi set and give a class characterization. In Sect. 6, the proportional Harsanyi solution is defined and axiomatized, and the domain, the value, and reasonable axioms are illustrated using an example. Additionally, we give a quick comparison of the proportional Harsanyi solution with the Shapley value by a new axiomatization of the Shapley value. Section 7 concludes and discusses the results. Some extensions of the Harsanyi and the generalized Harsanyi set are briefly presented. Finally, the Appendix (Sect. 8) shows the logical independence of the axioms in our characterizations.

Preliminaries
We denote by N the set of natural numbers, by R the set of real numbers, by R + the set of all non-negative real numbers, and by R ++ the set of all positive real numbers. Let U be a countably infinite set, the universe of all players. We define by N the set of all non-empty and finite subsets of U. A cooperative game with transferable utility (TU-game) is a pair (N , v) with player set N ∈ N and a coalition function v : 2 N → R, v(∅) = 0. We call each subset S ⊆ N a coalition, v(S) represents the worth of coalition S and we denote by S the set of all non-empty subsets of S. The set of all TU-games with player set N is denoted by The restriction of (N , v) to a player set S ∈ N is the game (S, v| S ), defined by v| S (R) := v(R) for all R ⊆ S and it is shortly noted by (S, v). An unanimity game (N , u S (Harsanyi 1959 We define by W := { f : U → R ++ }, w i := w(i) for all w ∈ W , i ∈ U, the collection of all positive weight systems on U. The collection of all sharing systems λ ∈ on N is defined 1 by For all N ∈ N , a TU-value (also called solution) ϕ is an operator that assigns to any , and each w ∈ W , the (positively) weighted Shapley Value Sh w (Shapley 1953a) is defined by The set of all weighted Shapley values is also known as Shapley set. A special case of a weighted Shapley value, all weights are equal, is the Shapley value Sh (Shapley 1953b), given by Hammer et al. (1977) and Vasil'ev (1978) introduced independently a set of TUvalues, called Harsanyi set, also known as selectope (Derks et al. 2000). The payoffs are made by distributing the Harsanyi dividends with the help of a sharing system. Each TU-value H λ , λ ∈ , in this set, titled Harsanyi solution (or sharing value in Derks et al. (2000)), is defined by Obviously, the Shapley set is a proper subset of the Harsanyi set. The following TUvalues are not linear and are defined on subsets of V(N ).
1 In our opinion, the definition of a weight system on the universe of all players (see, e.g., Casajus 2018) has some advantages in contrast to the definition on a fixed player set (see, e.g., Kalai and Samet 1987), especially if other player sets are regarded in such a way that identical players have the same weights in different player sets. In order to have similar advantages for sharing systems, we define these systems on the set of all finite subsets of the universe of all players and not on the set of all subsets of a fixed player set as usually common.
For all N ∈ N , (N , v) ∈ V 0 (N ), the proportional rule π (Moriarity 1975) is given by and the proportional Shapley value Sh p (Gangolly 1981;Besner 2016;Béal et al. 2018) is defined by Feldman 1999;Ortmann 2000) is defined inductively for all i ∈ S, S ⊆ N , by We make use of the following axioms for TU-values ϕ: Balanced contributions, BC (Myerson 1980).

Value dividends
Perhaps the most eminent characterization of the TU-values from the Harsanyi set was suggested by Derks et al. (2000, Theorem 4a). They characterized the Harsanyi solutions for the class of TU-games with a fixed player set by efficiency, the null player property, additivity and positivity. Another characterization was proposed by Vasil'ev (1981) [see Vasil'ev and van der Laan (2002, Theorem 5.1)]. This axiomatization additionally requires a convexity and a sign preserving property and, instead of additivity, an additivity property that is restricted to disjoint games. Thus, these characterizations require Harsanyi dividends (within positivity) and at least a specific form of additivity. We can dispense with both in the next axiomatization and with additivity in all subsequent axiomatizations. Therefore, we introduce a new concept that uses variable player sets. The Harsanyi dividend of a coalition S ⊆ N can be interpreted as the surplus of the worth of the coalition S versus the sum of all the surpluses of the worths of all proper subsets from S. Similarly, we define for a TU-value ϕ the value dividend ϕ i (S,v) of a coalition S ⊆ N to a player i ∈ S as the additional payoff to player i in the subgame (S, v) versus the sum of all additional payoffs to player i in all subgames (R, v), R S, R i. In detail, we have: For efficient TU-values, value dividends have a connection to Harsanyi dividends. (1), (6), and induction on the size |S|, S ⊆ N , it is easy to show that we have for an efficient TU-value ϕ i∈S

-balanced value dividends
We formulate a new axiom for TU-values ϕ which is related to w-balanced contributions. w-balanced contributions means that the ratio of the winnings or losses of two players when the other player leaves the game is proportional to their personal weights. The proportion of these weights is the same for two players for all coalitions containing them. If this ratio of weights can vary from coalition to coalition and we consider a value dividend as the pure payoff to a player that has not yet been realized in a subgame, it makes sense that the value dividends of two players for the same coalition are in the same ratio as the sharing weights for that coalition.
Since zero weights are also possible, we do not write the statement with fractions and, by definition of sharing weights, a player with a weight of zero for a coalition receives a zero dividend for that coalition. It turns out that a Harsanyi solution H λ is characterized by E and BVD λ .
Proof I. Let λ ∈ . It is well-known that H λ satisfies E. Thus, we have only to show that H λ meets BVD λ . By (2) and (6) and analogue We subtract (8) from (7) ϕ (9) holds for all i ∈ S. We obtain By E, the left side of (10) equals zero. By induction, it follows ϕ j (S, v) = φ j (S, v) for all j ∈ S and all S ⊆ N with λ S, j = 0. By (9), we have ϕ i (S, v) = φ i (S, v) also for all i ∈ S with λ S,i = 0 and uniqueness is shown.

w-balanced contributions and -balanced value dividends
If players' sharing weights in all coalitions are in the same ratio, a Harsanyi solution coincides with a weighted Shapley value. For such weights, the w-balanced contributions axiom can be considered as a special case of the λ-balanced value dividends axiom.
Theorem 3.4 Let w ∈ W and λ ∈ such that and let w and λ be defined as in Theorem 3.4. BVD λ ⇒ BC w : By BVD λ and (6), we have Induction step: Assume that the claim holds true for all player sets N , Since the claim holds for all N ∈ N , |N | ≥ 2, equivalence is shown.
By Theorem 3.4, the following axiom is equivalent to the w-weighted balanced contributions property. w-weighted balanced value dividends, BVD w . For all N ∈ N , (N , v) ∈ V(N ), i, j ∈ N , and w ∈ W , we have Especially, the next property is equivalent to the balanced contributions property. Balanced value dividends, BVD. For all N ∈ N , (N , v) ∈ V(N ), and i, j ∈ N , we have To introduce and justify the balanced contributions property, Myerson (1980) invoked the equal-gains principle: "[...] any two players should enjoy the same gains from their cooperation together, relative to what they would get without cooperation." We can interpret this as meaning that, in the case of cooperation, all players should have the same share of the cooperation benefit. However, the value dividends are the pure benefit of cooperation to each player and, by the equal-gains principle, the value dividends of all players of the same coalition must be equal. Thus, we can also understand this widely accepted rule as an interpretation of the axiom of balanced value dividends and the balanced value dividends property is nothing more than a "fair" allocation rule. Hart and Mas-Colell (1989) note " [...] weights can be interpreted as 'a-priori measures of importance;' they are taken to reflect considerations not captured by the characteristic function." In this sense, we can interpret the w-weighted balanced value dividends property as a w-proportional-gains principle and therefore understand also as a "w-fair" allocation rule. The same shall apply mutatis mutandis to the λ-balanced value dividends axiom.
By Theorems 3.4 and 3.3, we get a corollary that is equivalent to the well-known axiomatization of the weighted Shapley values by efficiency and w-balanced contributions in Myerson (1980) and Hart and Mas-Colell (1989) and, as a special case, of the Shapley value by efficiency and balanced contributions in Myerson (1980). Corollary 3.5 Let w ∈ W . Sh w is the unique TU-value that satisfies E and BVD w . In particular, Sh is the unique TU-value that satisfies E and BVD.

Inessential grand coalition
We weaken this characteristic for games with at least two players so that the last condition must hold only for the grand coalition: a TU-game (N , v) The grand coalition is inessential in the sense that v(N ) is completely determined by the worths of the proper subsets of N . The following new property for TU-values states that in inessential grand coalition games a player's payoff is completely determined by the player's payoff in all proper subgames. Inessential grand coalition, IGC. For all N ∈ N and all inessential grand coalition To axiomatize the proportional Shapley value, Béal et al. (2018) introduced an axiom for two games which only differ in the worth of the grand coalition. Two players' payoff differentials must be proportional to their singleton worths. Proportional (aggregate) monotonicity, PM (Béal et al. 2018). For all N ∈ N , |N | ≥ 2, (N , v) ∈ V 0 (N ), α ∈ R, and all i, j ∈ N , we have Similarly, the following property requires that two players' payoff differentials must be proportional to their weights of a sharing system. λ -balanced monotonicity, λ-balanced monotonicity is not in itself related to monotonicity, but, along with efficiency, it implies monotonicity, analogous to proportional monotonicity in Béal et al. (2018).

Theorem 4.1 Let λ ∈ . H λ is the unique TU-value that satisfies E, IGC, and M λ .
Proof I. It is well-known that H λ satisfies E and, by (2) and (6), it is clear that H λ meets IGC and M λ and existence is shown. II. For all N ∈ N , let (N , v) ∈ V(N ), λ ∈ , and let ϕ be a TU-value that satisfies E, IGC, and M λ . We show uniqueness by induction on the size |N |. Initialization: If |N | = 1, uniqueness is satisfied by E. Inductionstep: Let |N | ≥ 2. Assume that uniqueness holds for all N N , |N | ≥ 1, (I H). Let j ∈ N such that λ N , j = 0. Note that such a j always exists and that (N , v − v (N ) · u N ) is an inessential grand coalition game. By M λ , we have for all i ∈ N , is unique for all i ∈ N with λ N , i = 0 too and uniqueness is shown.
We would like to offer an axiomatic characterization of the Harsanyi set which does not explicitly use the sharing function systems. Nowak and Radzik (1995) used an axiom, called mutual dependence, to characterize the weighted Shapley values. Mutual dependence says that the payoffs to two players who are only jointly productive in two different games are in the same ratio in both games. The next property is implied by mutual dependence and requires that the ratios of two players' payoff differentials in two different games on the same player set are equal, especially if the payoff differentials are not zero. Dependent value monotonicity, DVM. For all N ∈ N , (N , v), (N , w) ∈ V(N ), i, j ∈ N , and α, β ∈ R, we have We get an axiomatic characterization of the Harsanyi set.
Thus exists a λ ∈ with λ N ,i := c N ,i for all N ∈ N , |N | ≥ 2, and all i ∈ N . By DVM, we get for all N ∈ N , (N , v) ∈ V(N ), i, j ∈ N , all α ∈ R, and a λ ∈ just defined, Therefore, ϕ satisfies M λ and, due to E, IGC, and Theorem 4.1, ϕ equals a Harsanyi solution H λ with λ ∈ .

The generalized Harsanyi set
Casajus (2017) introduced a class of TU-values ϕ ω , ω ∈ , If ω does not depend on v, ϕ ω equals a weighted Shapley value. Therefore, we will call the class of all TU-values ϕ ω the generalized Shapley set and we will denote each value in that class by Sh ω for each ω ∈ . This class obviously contains the weighted Shapley values but also non-linear TU-values like the TU-values ϕ c which are defined for all N ∈ N , (N , v) ∈ V(N ), and all c > 0, by Here the weight function depends on the worth of the singletons. The class of the following TU-values extends the Harsanyi set. The weights for the values of this class may depend on the entire coalition function.
Related to a TU-value, we define: for all N ∈ N , a sharing function ψ N on N is an operator that assigns to any (N , v) For each fixed v or if the sharing functions are constants, a sharing function system coincides with a sharing system. This leads to the naming of the following TU-values. For all v ∈ V, all (N , v) ∈ V(N , v), and ψ ∈ Ψ ( v), the generalized Harsanyi solution H ψ is defined by We call the class of all generalized Harsanyi solutions generalized Harsanyi set. In the next property the λ ∈ in BVD λ will be replaced by a ψ ∈ Ψ ( v). ψ -balanced value dividends, The following theorem is completely analogous to Theorem 3.3.
The proof is omitted since it is straightforward to transfer the proof from Theorem 3.3. We provide a characterization of the generalized Harsanyi set which does not use sharing function systems explicitly. Here, the dependent value monotonicity property in Theorem 4.2 is dropped. , v), and ψ ∈ Ψ ( v). By (13) and (6) (N , w) for all i ∈ N and some ψ ∈ Ψ ( v) and some v ∈ V such that (N , w) ∈ V(N , v). It follows, as a first case,

Theorem 5.2 A TU-value ϕ satisfies E, IGC, and M iff there exists for all
If, as a second case, v (N ) > 0, we have, by E, By M, we get for all i ∈ N , is a sharing function and is part of a sharing function system ψ ∈ Ψ ( v) with The next axiom relates to the λ-balanced value dividends property: two players' value dividends of the grand coalition are in the same proportion as the payoffs if the value dividends and the payoffs are not zero. Value balanced value dividends, VBVD. For all N ∈ N , (N , v) ∈ V(N ), and i, j ∈ N , we have Remark 6.6 By (6), (16) is equivalent to Thus, VBVD also states that two players' payoffs are in the same proportion as the sums of players' value dividends of all proper subsets of the grand coalition if the value dividends and the payoffs are not zero. Note that VBVD holds for all games whereas PP and IS need games which differ only in the grand coalition. The proportional Harsanyi solution matches VBVD and a lot of other properties.

Proposition 6.7 Let N ∈ N , (N , v) ∈ V ++ (N ). H p satisfies D, M, H, S, VBVD, and IGC.
Proof Let (N , v) ∈ V ++ (N ). It is well-known that we have for a dummy player i ∈ N in (N , v), v (S) = 0 for all S ⊆ N , |S| ≥ 2, S i. Thus, D follows immediately by (15) and, also by (15), M is obviously satisfied. By induction on the size |N | and formula (14) follows H. In addition, also as a well-known fact, we have for two Then, it is obvious, by (15), that H p satisfies S. By (14), we can see that H p matches VBVD and, by Definition 3.1, Remark 3.2, and E, obviously IGC is satisfied. Derks et al. (2000) could show that the Harsanyi set coincides for almost positive games with the core. The core of a TU-game It is obvious, by E and (15), that it is a necessary characteristic of the proportional Harsanyi solution to be a member of the core. This can be interpreted in such a way that no coalition of players can improve upon or block the payoff.

Remark 6.8 For all
Our first main result in this section is related to Theorem 3.3 and shows that the value balanced value dividends axiom is a very strong property.
Theorem 6.9 Let N ∈ N and (N , v) ∈ V ++ (N ). H p is the unique TU-value that satisfies E and VBVD.
Proof By Proposition 6.7 and Remark 6.2, we have only to show uniqueness. Let (N , v) ∈ V ++ (N ) and let ϕ be a TU-value that satisfies E and VBVD. We use induction on the size |S|, S ⊆ N .
Initialization: If |S| = 1, uniqueness of ϕ(S, v) is satisfied by E. Moreover, we have for all T ⊆ N , |T | = |S| + 1, Induction step: Assume uniqueness and (17) hold for |S| − 1, |S| ≥ 2 (I H). Then, by (I H), we have R S, R i, ϕ i (R,v) > 0. By Remark 6.6, it follows for all i ∈ S and a fixed j ∈ S, Thus, by E and induction, ϕ is unique for all S ⊆ N and Theorem 6.9 is shown.
The next theorem does not need efficiency.

Theorem 6.10 Let N ∈ N and (N , v) ∈ V ++ (N ). H p is the unique TU-value that satisfies D, IGC, and IS.
Proof By Proposition 6.7 and Remarks 6.2 and 6.5, we have only to show uniqueness. Let (N , v) ∈ V ++ (N ) and let ϕ be a TU-value that satisfies D, IGC, and IS. We use induction on the size |S|, S ⊆ N . Initialization: If |S| = 1, uniqueness of ϕ(S, v) is satisfied by D.
Induction step: Assume uniqueness holds for |S|−1, |S| ≥ 2 (I H). Then, by (I H), we have R S, R i, ϕ i (R,v) is unique for all i ∈ S. Let (S, w) ∈ V ++ (S) such that w (S) = 0 and v(R) = w(R) for all R S. By IGC, it follows ϕ i (S, w) is unique for all i ∈ S. By IS, we have for all i ∈ S and ϕ is unique for all S ⊆ N and Theorem 6.10 is shown.

Remark 6.11
The proof shows that in Theorem 6.10 D can be replaced by any axiom that guarantees that a players' payoff in a singleton game is her worth and that is satisfied by H P . Therefore, e. g., E or the inessential game property that states that a player in an inessential game receives her singleton worth can be used instead of D.
We have a last characterization of the proportional Harsanyi solution. It follows immediately from Theorem 6.10 and Remarks 6.4 and 6.11. Corollary 6.12 Let N ∈ N and (N , v) ∈ V ++ (N ). H p is the unique TU-value that satisfies E, IGC, and PP.

Remark 6.13
By (13), all values from the generalized Harsanyi set satisfy for all N ∈ N on V ++ (N ), E, D, and IGC. Thus, H p is the unique value from the Harsanyi set that satisfies PP and IS on V ++ (N ).
Introducing the proportional value, Ortmann (2000) used similar characterization approaches to that of the Shapley value. In particular, he contrasted efficiency and his preservation of ratios axiom with efficiency and the balanced contributions property and standardness in two player games and consistency with proportional standardness and consistency. An analogous proceeding we can see in Béal et al. (2018) with the proportional Shapley value and the Shapley value. For one such comparison, they introduced the proportional monotonicity property and the following axiom, which states that two players' payoff differentials should be the same for varying worth of the grand coalition. Equal (aggregate) monotonicity, EM (Béal et al. 2018). 6 For all N ∈ N , (N , v) ∈ V(N ), and α ∈ R, we have Béal et al. (2018) axiomatized the proportional Shapley value by efficiency, dummy player out, weak linearity and proportional monotonicity and contrasted it with an axiomatization of the Shapley value by replacing proportional monotonicity with equal monotonicity.
The question arises whether it is also possible to contrast axiomatizations of the proportional Harsanyi solution with those of the Shapley value which differ only in one axiom. We can show that the answer is yes. The proportional Harsanyi solution is uniquely determined by E, IGC and PP. PP preserves ratios for games which differ only in the grand coalition. For such games EM preserves differences. It follows a "contrasted" axiomatization of the Shapley value.
Theorem 6.14 Sh is the unique TU-value that satisfies E, IGC, and EM.
Proof Since it is easy to check that all axioms in Theorem 6.14 are satisfied we have only to show uniqueness. Let (N , v) ∈ V(N ) and let ϕ be a TU-value that satisfies E, IGC, and EM. We use induction on the size |S|, S ⊆ N . Initialization: If |S| = 1, uniqueness of ϕ(S, v) is satisfied by E. Induction step: Assume uniqueness holds for |S| − 1, |S| ≥ 2 (I H). Then, by (I H), and ϕ is unique for all S ⊆ N by E and Theorem 6.14 is shown. 6 For relationships to other axioms, see Footnote 3.
The following example justifies the value and illustrates the axioms, used in Theorem 6.10 and Corollary 6.12. Example A group N of independent carpenters who are not too busy as a one-man business join forces and work together in different groups S ⊆ N . The total quantity and size of the orders depends on a number of external factors, such as the macroeconomic cycle, the general interest rate level, the general state of the buildings and so on.
We assume that the share of each carpenter as a one-man company in the total net profit of all one-man companies depends only on her performance. We also assume that orders for larger coalitions depend only on the efficiency of the subgroups and whether the customers receive good value for money from the subgroups. The order volume is not too large, so that all orders, offered for groups of different sizes, can be executed.
We model the situation as a TU-game. Nobody cooperates with a carpenter who has no net profit and therefore, does not work efficiently. Thus, we only regard the player sets N with v({i}) > 0 for all players i ∈ N . The worth v(S) of a coalition S ⊆ N equals the sum of all net profits of all subunits of S. The Harsanyi dividend v (S) of coalition S is equal to the net profit of the unit S, but only in cases where the players of S work as a unit. Besides, the carpenters won't pay on top. Therefore, The carpenters must agree on how to share the worth of the grand coalition v(N ). They want to share the whole worth in such a way that E must be satisfied. The carpenters have no way of deciding how to divide the net profit of a unit solely by the performance of the unit itself. They can only take into account the profits of all subunits. Hence, the players' shares on the grand coalition net profits do not depend on the grand coalition's profit as a single unit. The carpenters conclude that each player's share should be independent of the worth of the grand coalition and therefore IS must be satisfied. If a grand coalition does not work as a unit, that unit's net profit is zero. Thus, the carpenters agree that in this case the payoff should be equal to the sum of players' payoffs in all proper subunits. Therefore, IGC should also be satisfied. Hence, by Theorem 6.10 and Remark 6.11, the proportional Harsanyi value H p is the method of choice for distributing the profits. Certainly, the carpenters accept D, so that a carpenter who does not cooperate with partners in other units should only receive her one-man company result. The carpenters can also conclude, that the payoff in the grand coalition unit should be proportional to the sum of their payoffs in all other subunits and therefore agree, by Remark 6.6, that VBVD should be satisfied. After some reflection, all the properties presented in this section seem reasonable to the carpenters.

Conclusion and discussion
Most studied TU-values are efficient and a lot of them satisfy monotonicity. Thus, the inessential grand coalition property can be used as a criterion whether such a value has to be in the (generalized) Harsanyi set (see footnote 4).  Obviously, the Banzhaf value satisfies the inessential grand coalition property and monotonicity. Thus, the superset of the generalized Harsanyi set that does not require efficiency for its TU-values contains the Banzhaf value. This means that in the definition of a sharing function within a sharing function system the condition i∈N ψ N i (v) = 1 for a sharing vector ψ N (v) ∈ R N + must be dropped. In Fig. 1/Table 1, the class of these values is marked by ϕ χ . However, possible applications of value dividends for axiomatizations of the Banzhaf value are left for further research. If we drop in Theorem 4.2 the monotonicity property, we get an axiomatic characterization of the class of the multiweighted Shapley values 7 MWSV λ ± (Dragan 1992). A further removal of the dependent value monotonicity or a removal of the monotonicity property in Theorem 5.1 respectively leads to the characterization of a new class of TU-values (in Fig. 1/Table 1 denoted by H ψ ± ). That means that we allow sharing vectors ψ ± N (v) ∈ R N such that i∈N ψ ± N i (v) = 1. Our last extension, represented   Table 1 by ϕ χ ± , concludes all mentioned classes of TU-values but not the proportional rule and not the proportional Value. This is the class of all TU-values which satisfy the inessential grand coalition property. Also the TU-values from the Shapley mapping and thus the set-valued proper Shapley value in Vorob'ev and Liapunov (1998) are part (on subsets) of the generalized Harsanyi set [compare Equation (2) in Vorob'ev and Liapunov 1998 with (13)]. Here, too, further research must be shifted into the future.
The usage of the proportional Harsanyi solution is restricted to strongly positive games. This efficient TU-value combines the inessential grand coalition property of the proportional Shapley value with the proportion preservation and independent share property of the proportional rule and the proportional value. The sharing weights are given endogenously and depend on the whole coalition function, not only on the worths of the singletons as by the proportional rule or the proportional Shapley value. Thus, supported by many convincing properties, this value is recommended if the worth of a coalition is dependent from the worths of all subsets of the coalition.