代数.非空集类S，若：当且仅当formula_126满足以上几个条件中任何一个时，formula_126构成一个环，此时formula_126被称为一个集环。若集环formula_126还满足：则formula_126是formula_23上的代数，称为X上的集代数。
formula_211 环，formula_211 代数.设formula_126是集环（集代数），若formula_126对可列并运算封闭，则称formula_126为一个σ环（σ代数）。