a "σ"-ideal of a set "x" is a "σ"-ideal of the power set of "x". that is, when no "σ"-algebra is specified, then one simply takes the full power set of the underlying set. for example, the meager subsets of a topological space are those in the "σ"-ideal generated by the collection of closed subsets with empty interior.