PROP1

Dependencies:

1. Fair division

In fair division of indivisible items, an agent $i$ having entitlement $w_i$ is PROP1 satisfied if at least one of the following hold:

1. $v_i(A_i) ≥ w_iv_i(M)$.
2. $v_i(A_i \cup \{g\}) > w_iv_i(M)$ for some $g \in M \setminus A_i$.
3. $v_i(A_i \setminus \{c\}) > w_iv_i(M)$ for some $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