ormula_91 的子集 formula_24，formula_101，formula_151，下列恒等式成立：
常用代数结构.
半环.若集类formula_126满足：则formula_126构成一个半环。
格.若集类formula_126满足：则formula_126构成一个格。
环，代数.非空集类S，若：当且仅当formula_126满足以上几个条件中任何一个时，formula_126构成一个环