Set builder notation is a mathematical notation used to describe a set by specifying a property that its members must satisfy. It provides a concise way to define sets by stating the condition or rule that elements of the set must meet, typically written in the form {x | condition(x)}.