A Borel set is any set that can be constructed from open or closed sets through countable unions, intersections, and relative complements in a topological space. Borel sets form the smallest σ-algebra containing all open sets, making them essential in measure theory and probability, particularly in defining Borel measures.