Definition of Eventual Consensus