# Definition:Element/Also known as

## Definition

The term **member** is sometimes used as a synonym for element (probably more for the sake of linguistic variation than anything else).

In the contexts of geometry and topology, **elements** of a set are often called **points**, in particular when they *are* (geometric) points.

$x \in S$ can also be read as:

**$x$ is in $S$****$x$ belongs to $S$****$S$ includes $x$****$x$ is included in $S$****$S$ contains $x$**

However, **beware** of this latter usage: **$S$ contains $x$** can also be interpreted as **$x$ is a subset of $S$**. Such is the scope for misinterpretation that it is **mandatory** that further explanation is added to make it clear whether you mean subset or element.

## Historical Note

The symbol for **is an element of ** originated as $\varepsilon$, first used by Giuseppe Peano in his *Arithmetices prinicipia nova methodo exposita* of $1889$. It comes from the first letter of the Greek word meaning **is**.

The stylized version $\in$ was first used by Bertrand Russell in *Principles of Mathematics* in $1903$.

See Earliest Uses of Symbols of Set Theory and Logic in Jeff Miller's website Earliest Uses of Various Mathematical Symbols.

$x \mathop \varepsilon S$ could still be seen in works as late as 1951: Nathan Jacobson: *Lectures in Abstract Algebra: Volume $\text { I }$: Basic Concepts* and 1955: John L. Kelley: *General Topology*.

Paul Halmos wrote in *Naive Set Theory* in $1960$ that:

*This version [$\epsilon$] of the Greek letter epsilon is so often used to denote belonging that its use to denote anything else is almost prohibited. Most authors relegate $\epsilon$ to its set-theoretic use forever and use $\varepsilon$ when they need the fifth letter of the Greek alphabet.*

However, since then the symbol $\in$ has been developed in such a style as to be easily distinguishable from $\epsilon$, and by the end of the $1960$s the contemporary notation was practically universal.

## Sources

- 1915: Georg Cantor:
*Contributions to the Founding of the Theory of Transfinite Numbers*... (previous) ... (next): First Article: $\S 1$: The Conception of Power or Cardinal Number - 1951: J.C. Burkill:
*The Lebesgue Integral*... (previous) ... (next): Chapter $\text {I}$: Sets of Points - 1951: Nathan Jacobson:
*Lectures in Abstract Algebra: Volume $\text { I }$: Basic Concepts*... (previous) ... (next): Introduction $\S 1$: Operations on Sets - 1955: John L. Kelley:
*General Topology*... (previous) ... (next): Chapter $0$: Sets - 1959: E.M. Patterson:
*Topology*(2nd ed.) ... (previous) ... (next): Chapter $\text {II}$: Topological Spaces: $\S 8$. Notations and definitions of set theory - 1960: Paul R. Halmos:
*Naive Set Theory*... (previous) ... (next): $\S 1$: The Axiom of Extension - 1964: W.E. Deskins:
*Abstract Algebra*... (previous) ... (next): $\S 1.1$ - 1964: Steven A. Gaal:
*Point Set Topology*... (previous) ... (next): Introduction to Set Theory: $1$. Elementary Operations on Sets - 1964: Walter Rudin:
*Principles of Mathematical Analysis*(2nd ed.) ... (previous) ... (next): Chapter $1$: The Real and Complex Number Systems: Introduction: $1.3$. Notation - 1964: William K. Smith:
*Limits and Continuity*... (previous) ... (next): $\S 2.1$: Sets - 1965: A.M. Arthurs:
*Probability Theory*... (previous) ... (next): Chapter $1$: Set Theory: $1.2$: Sets and subsets - 1965: J.A. Green:
*Sets and Groups*... (previous) ... (next): $\S 1.1$. Sets - 1965: Seth Warner:
*Modern Algebra*... (previous) ... (next): Chapter $1$: Algebraic Structures: $\S 1$: The Language of Set Theory - 1966: Richard A. Dean:
*Elements of Abstract Algebra*... (previous) ... (next): $\S 0.2$ - 1967: George McCarty:
*Topology: An Introduction with Application to Topological Groups*... (previous) ... (next): Introduction: Set-Theoretic Notation - 1968: A.N. Kolmogorov and S.V. Fomin:
*Introductory Real Analysis*... (previous) ... (next): $\S 1.1$: Basic definitions - 1968: Ian D. Macdonald:
*The Theory of Groups*... (previous) ... (next): Appendix: Elementary set and number theory - 1970: Avner Friedman:
*Foundations of Modern Analysis*... (previous) ... (next): $\S 1.1$: Rings and Algebras - 1971: Allan Clark:
*Elements of Abstract Algebra*... (previous) ... (next): Chapter $1$: The Notation and Terminology of Set Theory: $\S 1$ - 1971: Robert H. Kasriel:
*Undergraduate Topology*... (previous) ... (next): Chapter $1$: Sets, Functions, and Relations: $\S 1.1$: Sets and Membership - 1972: A.G. Howson:
*A Handbook of Terms used in Algebra and Analysis*... (previous) ... (next): $\S 2$: Sets and functions: Sets - 1974: Murray R. Spiegel:
*Theory and Problems of Advanced Calculus*(SI ed.) ... (previous) ... (next): Chapter $1$: Numbers: Sets - 1975: T.S. Blyth:
*Set Theory and Abstract Algebra*... (previous) ... (next): $\S 1$. Sets; inclusion; intersection; union; complementation; number systems - 1975: Bert Mendelson:
*Introduction to Topology*(3rd ed.) ... (previous) ... (next): Chapter $1$: Theory of Sets: $\S 2$: Sets and Subsets - 1975: W.A. Sutherland:
*Introduction to Metric and Topological Spaces*... (previous) ... (next): Notation and Terminology - 1977: K.G. Binmore:
*Mathematical Analysis: A Straightforward Approach*... (previous) ... (next): $\S 1$: Real Numbers: $\S 1.1$: Set Notation - 1977: Gary Chartrand:
*Introductory Graph Theory*... (previous) ... (next): Appendix $\text{A}.1$: Sets and Subsets - 1978: John S. Rose:
*A Course on Group Theory*... (previous) ... (next): $0$: Some Conventions and some Basic Facts - 1978: Thomas A. Whitelaw:
*An Introduction to Abstract Algebra*... (previous) ... (next): $\S 2$: Introductory remarks on sets: $\text{(c)}$ - 1981: G. de Barra:
*Measure Theory and Integration*... (previous) ... (next): Chapter $1$: Preliminaries: $1.1$ Set Theory - 1981: Murray R. Spiegel:
*Theory and Problems of Complex Variables*(SI ed.) ... (previous) ... (next): $1$: Complex Numbers: Point Sets - 1982: P.M. Cohn:
*Algebra Volume 1*(2nd ed.) ... (previous) ... (next): Chapter $1$: Sets and mappings: $\S 1.2$: Sets - 1993: Keith Devlin:
*The Joy of Sets: Fundamentals of Contemporary Set Theory*(2nd ed.) ... (previous) ... (next): $\S 1$: Naive Set Theory: $\S 1.1$: What is a Set? - 1996: H. Jerome Keisler and Joel Robbin:
*Mathematical Logic and Computability*... (previous) ... (next): Appendix $\text{A}.1$: Sets - 1999: András Hajnal and Peter Hamburger:
*Set Theory*... (previous) ... (next): $1$. Notation, Conventions: $1$ - 2000: James R. Munkres:
*Topology*(2nd ed.) ... (previous) ... (next): $1$: Set Theory and Logic: $\S 1$: Fundamental Concepts - 2008: David Joyner:
*Adventures in Group Theory*(2nd ed.) ... (previous) ... (next): Chapter $1$: Elementary, my dear Watson: $\S 1.2$: Elements, my dear Watson - 2008: David Nelson:
*The Penguin Dictionary of Mathematics*(4th ed.) ... (previous) ... (next): Entry:**member (element)** - 2010: Raymond M. Smullyan and Melvin Fitting:
*Set Theory and the Continuum Problem*(revised ed.) ... (previous) ... (next): Chapter $1$: General Background: $\S 6$ Significance of the results - 2014: Christopher Clapham and James Nicholson:
*The Concise Oxford Dictionary of Mathematics*(5th ed.) ... (previous) ... (next): Entry:**member**

- 1983: George F. Simmons:
*Introduction to Topology and Modern Analysis*... (previous) ... (next): $\S 1$: Sets and Set Inclusion - 2008: Paul Halmos and Steven Givant:
*Introduction to Boolean Algebras*... (previous) ... (next): Appendix $\text{A}$: Set Theory: Sets and Subsets - 2012: M. Ben-Ari:
*Mathematical Logic for Computer Science*(3rd ed.) ... (previous) ... (next): Appendix $\text{A}.1$: Definition $\text{A}.1$