MHB What does this vertical line mean after X?

Click For Summary
SUMMARY

The vertical line in set-builder notation signifies "such that" or "for which holds that." It is used to define a set by specifying a condition that elements must satisfy. In this context, it indicates the set of all X for which X is not an element of itself. This notation is essential for understanding mathematical sets and their properties.

PREREQUISITES
  • Understanding of set theory concepts
  • Familiarity with set-builder notation
  • Basic knowledge of mathematical logic
  • Experience with mathematical proofs
NEXT STEPS
  • Research advanced topics in set theory
  • Explore the implications of Russell's Paradox
  • Learn about different forms of mathematical notation
  • Study the applications of set-builder notation in programming languages
USEFUL FOR

Mathematicians, educators, students of mathematics, and anyone interested in formal logic and set theory.

Natalie1
Messages
7
Reaction score
0

Attachments

  • dicrete.JPG
    dicrete.JPG
    1.6 KB · Views: 138
Physics news on Phys.org
Hi Natalie! Welcome to MHB! (Smile)

The vertical line means: "for which holds that".
So it reads as: the set of all X for which holds that X is not an element of itself.

It's part of the set-builder-notation.
 
While equivalent to what I like Serena posted, I was taught (in the context of set builder notation) it means "such that." :)
 
Thank you very much! (Smile)
 
If there are an infinite number of natural numbers, and an infinite number of fractions in between any two natural numbers, and an infinite number of fractions in between any two of those fractions, and an infinite number of fractions in between any two of those fractions, and an infinite number of fractions in between any two of those fractions, and... then that must mean that there are not only infinite infinities, but an infinite number of those infinities. and an infinite number of those...

Similar threads

  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 1 ·
Replies
1
Views
5K
  • · Replies 1 ·
Replies
1
Views
1K
Replies
4
Views
2K
  • · Replies 9 ·
Replies
9
Views
2K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 3 ·
Replies
3
Views
1K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 23 ·
Replies
23
Views
3K