唯一补格

唯一补格是一个有补格 ，它满足

唯一补格的类不是有补格类的子簇。另一方面，有一个著名的唯一补格类，它是有补格簇的子簇，即布尔代数类。它们构成一个簇，因为它们是分配的有补格，并且可以证明任何分配的有补格都是唯一补格。