in mathematics, particularly measure theory, a "σ"-ideal of a sigma-algebra ("σ", read "sigma," means countable in this context) is a subset with certain desirable closure properties. it is a special type of ideal. its most frequent application is perhaps in probability theory.