In cooperative game theory, games in partition function form are real-valued function on the set of so-called embedded coalitions, that is, pairs (S, π) where S is a subset (coalition) of the set N of players, and π is a partition of N containing S. Despite the fact that many studies have been devoted to such games, surprisingly nobody clearly defined a structure (i.e., an order) on embedded co...