PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: Very high Entry average rating: No information on entry rating
[parent] set-membership (Definition)

When one always uses sets in mathematics, a set $S$ is thought to consist of certain distinct objects $x$ satisfying some known condition. Then we say that $x$ is a member or an element of the set $S$ (denoted $x \in S$ ). In the opposite case, when $x$ does not satisfy the condition, $x$ is not a member of $S$ (denoted $x \notin S$ ).

A member of a set belongs to this set. We may think that it is a question of a relation `to belong' between members and sets, the set-membership relation, having the notation ``$\in$ ''. It is the most fundamental concept of the set theory.

Example. We can speak of the set of the positive primes. If this set is $\mathbb{P}$ , then the condition defining the members of $\mathbb{P}$ is `to be a positive prime' and the list of the elements may be written $$2,\,3,\,5,\,7,\,11,\,\ldots$$ So we have e.g. $$11 \in \mathbb{P}, \quad 1\notin \mathbb{P}.$$




Anyone with an account can edit this entry. Please help improve it!

"set-membership" is owned by pahio. [ full author list (2) ]
(view preamble | get metadata)

View style:

See Also: locus, set, negation

Also defines:  member, element, belong

This object's parent.
Log in to rate this entry.
(view current ratings)

Cross-references: primes, positive, set theory, relation, satisfy, objects
There are 885 references to this entry.

This is version 3 of set-membership, born on 2009-06-25, modified 2009-06-29.
Object id is 11826, canonical name is SetMembership.
Accessed 1181 times total.

Classification:
AMS MSC03E15 (Mathematical logic and foundations :: Set theory :: Descriptive set theory)

Pending Errata and Addenda
None.
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | add derivation | add example | add (any)