式成立：
常用代数结构.
半环.若集类formula_126满足：则formula_126构成一个半环。
格.若集类formula_126满足：则formula_126构成一个格。
环，代数.非空集类S，若：当且仅当formula_126满足以上几个条件中任何一个时，formula_126构成一个环，此时formula_126被称为一个集环。若集环formula_126还满足：则formula_1