In leader election, avoiding two nodes mistakenly thinking they are the leader is a safety property, while guaranteeing the process eventually completes is a liveness property.
Safety and Liveness
In leader election, avoiding two nodes mistakenly thinking they are the leader is a safety property, while guaranteeing the process eventually completes is a liveness property.