what is the first recorded use of set bilder notation how about the first use of the phrase set builder notation