整格序群胚

整格序群胚(integral lattice-ordered groupoid)一類具有上界的格序群胚.設L是有乘法恆等元。的格序群胚(偏序群胚)，若對任意xEL,x鎮。(即。是L的上界)，則稱L為整格序群胚(整偏序群胚).設R是具有單位元1的環，R中所有理想的集合按集合的包含關係定義的偏序和環中理想的乘法構成一個整格序群胚，其中。=R是乘法恆等元.任意格序群的負錐是整格序群胚.每一個有補整格序群胚是一個適合xy=x八y的布爾代數.