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)
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)