Power Lattices Introduced by the Filter in Distributive Lattice

• 分配格中滤子诱导的幂格