MHB What does this vertical line mean after X?

AI Thread Summary
The vertical line in set-builder notation signifies "for which holds that" or "such that." It indicates conditions for elements in a set, as in "the set of all X for which X is not an element of itself." This notation is essential for defining sets with specific properties. Understanding this terminology is crucial for working with mathematical sets. The discussion clarifies the meaning and usage of the vertical line in this context.
Natalie1
Messages
7
Reaction score
0

Attachments

  • dicrete.JPG
    dicrete.JPG
    1.6 KB · Views: 132
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)
 

Thread 'Formal derivation of statement from Peano Arithmetic system'

I was reading a Bachelor thesis on Peano Arithmetic (PA). PA has the following axioms (not including the induction schema): $$\begin{align} & (A1) ~~~~ \forall x \neg (x + 1 = 0) \nonumber \\ & (A2) ~~~~ \forall xy (x + 1 =y + 1 \to x = y) \nonumber \\ & (A3) ~~~~ \forall x (x + 0 = x) \nonumber \\ & (A4) ~~~~ \forall xy (x + (y +1) = (x + y ) + 1) \nonumber \\ & (A5) ~~~~ \forall x (x \cdot 0 = 0) \nonumber \\ & (A6) ~~~~ \forall xy (x \cdot (y + 1) = (x \cdot y) + x) \nonumber...
View full post »

Similar threads

I Regression line with zero slope and average as best prediction
Replies
2
Views
2K
What does vertical bars around a set mean?
Replies
1
Views
5K
I What are the properties of a plane cut into regions by a set of lines?
Replies
1
Views
1K
What Could a Steeper Best Fit Line Than Maximum Line Mean in Graph Analysis?
Replies
4
Views
2K
B Can We Use Regression Line x on y if y is the Dependent Variable?
Replies
9
Views
2K
I What does the vertical line in this equation mean?
Replies
4
Views
2K
What Does $$E^2_k|_{k=k_{res}}$$ Mean?
Replies
3
Views
1K
I Linear Model with independent categorical variable
Replies
5
Views
2K
I Error bars in Excel (standard deviation, standard error, percentage)
Replies
4
Views
3K
I What does a 95% confidence level mean in a poll?
Replies
23
Views
2K

Hot Threads

Recent Insights

Back
Top