Eventual Consistency

Safety - successful reads of an object at correct nodes that observe the same set of updates return the same values.

Liveness - Any update issued or observed by a correct node is eventually observeable by all correct nodes.