Liveness

good things do happen

例えば、操作が進行する、デッドロックとかしないよという保証

どんな事態からも正常状態へ復旧できるよという性質

参考