Hi everyone,
Consider a finite set of positive variables $P = \{x_1,x_2,\ldots, x_n \}$, and a non-strict order on the expressions $\Sigma_{x_i \subseteq P}x_i$. For example:
$$P = \{x_1,x_2,x_3\}$$
$$x_1 + x_2 + x_3 > x_1 + x_2 > x_2 + x_3 > x_1 = x_2 > x_3$$
Can we claim that if there is a...