一致极小对、一致有界性及有穷基定理

本文使用最小板块的思想，揭示了泛代数领域中任一分配簇的任一代数都具有两个性质：（１）投射意义下一致极小对是存在的，（２）存在相对于整个簇而言的极小对投射的一致上界。用以上的结果，给出了著名的有穷基定理的一个简单的、构造性的证明。