Besides their defining properties REF –REF , coherent lower previsions also satisfy various other properties that are often conveniently used in proofs.
We only mention a small selection and refer to [1]} and [2]} for more extensive lists, proofs and further discussion:
