Talk:Set-builder notation

From Wikipedia, the free encyclopedia

I'm no expert, but I'm pretty sure that it doesn't have to be a monadic predicate, since they use the example p/q. --67.161.220.195 15:34, 10 August 2006 (UTC) what is the first recorded use of set bilder notation how about the first use of the phrase set builder notation

[edit] Add notation please

\{a : \exists \ p, q \in \mathbb{Z}, q \ne 0 : a = p/q\}

and

\{k : n \in \mathbb{N} \and k = 2n\}

really don't mean a thing to me. What is the carat looking thing, for example? From messing around with the math tags I've gathered it means "and" but still, more about the actual notation would be nice. Jongpil Yun 07:01, 30 March 2007 (UTC)

OK, I added a little line about it. I think most mathematicians know what \and means though, and otherwise they can easily look it up viewing the source or the alt text of the math images, to see that the TeX command (at least on Wikipedia) for it is \and. I must admit though, I never use it myself, I usually write a comma between conditions and when it's very formal I tend to just write out the words 'and', 'or', etc. —The preceding unsigned comment was added by CompuChip (talkcontribs) 18:25, 30 March 2007 (UTC).