MHB What does this vertical line mean after X?

Thread starter Natalie1
Start date Dec 23, 2015
Tags

Line Mean Vertical

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.

Dec 23, 2015

Natalie1

View attachment 5091

Physics news on Phys.org

Dec 23, 2015

I like Serena

Science Advisor

Homework Helper

MHB

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.

Dec 23, 2015

MarkFL

Gold Member

MHB

While equivalent to what I like Serena posted, I was taught (in the context of set builder notation) it means "such that." :)

Dec 23, 2015

Natalie1

Thank you very much! (Smile)

Thread 'Deductive proof in logic formal systems'

I was reading documentation about the soundness and completeness of logic formal systems. Consider the following $$\vdash_S \phi$$ where ##S## is the proof-system making part the formal system and ##\phi## is a wff (well formed formula) of the formal language. Note the blank on left of the turnstile symbol ##\vdash_S##, as far as I can tell it actually represents the empty set. So what does it mean ? I guess it actually means ##\phi## is a theorem of the formal system, i.e. there is a...

View full post »

Thread 'Onto set mapping is the surjective set mapping, and into injective?'

The textbook is being fine. I asked the forum for some introduction to topology, and decided to start with Simmon`s. This naive question is due to ignorance of the words into and onto, which I don't distinguish in Spanish. A quick browsing sugests I'm right.

View full post »