有界格

有界格是具有最大元与最小元的格，通常以0，1分别记最小元与最大元.有限个元素a1，a2，…，an所构成的格是有界格，其最小元是a1·a2·…·an，最大元是a1+a2+…+an。设S是格，如果存在元素a∈S，对于任意的x∈S，都有a≼x，则称a为格S的全下界；如果存在元素b∈S，对于任意的b∈S，都有x≼b，则称b为格S的全上界。