Let \(N=\{1,\ldots,n\}\) be the set of claimants, \(E\ge 0\) the endowment to be divided and \(d\in \mathbb{R}_+^N\) the vector of claims
such that \(\sum_{i \in N} d_i\ge E\).
A vector \(x=(x_1,\dots,x_n)\) is an awards vector for the claims problem \((E,d)\) if \(0\le x \le d\)
and satisfies the balance requirement, that is, \(\sum_{i=1}^{n}x_i=E\).
A rule is a function that assigns to each claims problem \((E,d)\) an awards vector,
that is, a division between the claimants of the amount available.
The formal definitions of the main rules are given in the corresponding function help.