PROPx

Dependencies:

1. Fair division

In fair division of indivisible goods, an agent $i$ having entitlement $w_i$ is PROPx satisfied if either $v_i(A_i) ≥ w_iv_i(M)$ or $v_i(A_i \cup \{g\}) > w_iv_i(M)$ for all $g \in M \setminus A_i$.

In fair division of indivisible chores, an agent $i$ having entitlement $w_i$ is PROPx satisfied if either $d_i(A_i) ≤ w_id_i(M)$ or $d_i(A_i \setminus \{c\}) < w_id_i(M)$ for all $c \in A_i$.

Dependency for: None

Info:

• Depth: 4
• Number of transitive dependencies: 4

Transitive dependencies:

1. /sets-and-relations/countable-set
2. σ-algebra
3. Set function
4. Fair division