# 定義 ノード$p$がノード$q$からのメッセージを受信できる場合、$p$の状態は最終的に$q$の知っている更新を反映することが保証されるという性質 （[[Consistency, Availability, and Convergence]]より）