12.1.3 有界格和有补格