In mathematics, particularly measure theory, a 𝜎-ideal, or sigma ideal, of a σ-algebra is a subset with certain desirable closure properties. It is a special type of ideal. Its most frequent application is in probability theory.