Inclusivity. it derives from Observations 5, 4 and the fact that the sequence of decisions is infinite (see above).
Appears in 5 contracts
Sources: Byzantine Generalized Lattice Agreement, Byzantine Generalized Lattice Agreement, Byzantine Generalized Lattice Agreement