Linearizability

Any operation in the system is propagated to all the nodes and holds the order. If there is a reader checking the value, then it can contact any arbitrary node and it gets the same result from any node.