有限格都是有界格。