It's another way of thinking of the graph. Basically, the points on the graph are the points that satisfy y = f(x), so in that sense "the graph is a picture of all the points that make the function true".

From there he generalizes the idea to drawing the set of points that makes a statement true, without necessarily having a formal function defined.