A promise in distributed systems that claims that “something good” will eventually happen. A system will never enter a state such that no progress cannot be made.

One such example of a liveness property is eventual consistency.