A σ-algebra is a collection of subsets of a given set, closed under complementation and countable unions, which provides a foundational structure for measure theory and probability. It ensures that operations like taking complements and countable unions of sets remain within the σ-algebra, enabling the definition of measures and integration on complex spaces.