Lexicographic composition of simple games

Certain voting bodies can be modeled as a simple game where a coalition's winning depends on whether it wins, blocks or loses in two smaller simple games. There are essentially five such ways to combine two proper games into a proper game. The most decisive is the lexicographic rule, where a coalition must either win in G₁, or block in G₁ and win in G₂. When two isomorphic games are combined lexicographically, a given role for a player confers equal or more power when held in the first game than the second, if power is assessed by any semi-value. A game is lexicographically separable when the players of the two components partition the whole set. Games with veto players are not separable, and games of two or more players with identical roles are separable only if decisive. Some separable games are egalitarian in that they give players identical roles.