环。
格.若集类formula_126满足：则formula_126构成一个格。
环，代数.非空集类S，若：当且仅当formula_126满足以上几个条件中任何一个时，formula_126构成一个环，此时formula_126被称为一个集环。若集环formula_126还满足：则formula_126是formula_23上的代数，称为X上的集代数。
formula_211 环，formula_211 代数.设for