In your “Increasing population size”, you put “Medium, Medium” as more valuable than “Medium”, but that doesn’t seem to derive from the premises you’d been using so far (apart from the “glue them together” part). I found that surprising, since you seem to go at bigger lengths to justify other things that seem more self-evident to me.
Would Xodarap agree that the premises are (assuming we have operator overloads for multisets rather than sets)
the better set is a superset (A ⊂ B) ⇒ (A < B)
or everything in the better set that’s not in the worse set is better than everything that’s in the worse set that’s not in the better set, (∀a∈(A\B), b∈(B\A) value(a) < value(b)) ⇒ (A < B)
In your “Increasing population size”, you put “Medium, Medium” as more valuable than “Medium”, but that doesn’t seem to derive from the premises you’d been using so far (apart from the “glue them together” part). I found that surprising, since you seem to go at bigger lengths to justify other things that seem more self-evident to me.
Would Xodarap agree that the premises are (assuming we have operator overloads for multisets rather than sets)
the better set is a superset (A ⊂ B) ⇒ (A < B)
or everything in the better set that’s not in the worse set is better than everything that’s in the worse set that’s not in the better set, (∀a∈(A\B), b∈(B\A) value(a) < value(b)) ⇒ (A < B)
Yeah, maybe things just get worse and worse as you add more people—but uniformly, so that adding another person preserves ordering :P