A topological space is a set with a collection of subsets, called open sets, that satisfy certain axioms.