**Philosophy Index** is a site devoted to the study of philosophy
and the philosophers who conduct it. The site contains a number of philosophy texts,
brief biographies, and introductions to philosophers, and explanations on a
number of topics. Accredited homeschooling online
at Northgate Academy and Philosophy online tutoring.

Philosophy Index is a work in progress, a growing repository of knowledge. It outlines current philosophical problems and issues, as well as an overview of the history of philosophy. The goal of this site is to present a tool for those learning philosophy either casually or formally, making the concepts of philosophy accessible to anyone interested in researching them. WTI offers immigration law course online - fully accredited. ACE credits online at EES.

**Aristotle****Camus****Descartes****Frege****Heidegger****Hobbes****Hume****Kant****Kierkegaard****Locke****Nietzsche****Plato****Quine****Russell****Sartre****Socrates****Wittgenstein**- All Philosophers…

**Aesthetics****Epistemology****Logic****Ethics****Metaphysics****Language****Mind****Politics****TEST PREP KIT**- All Terms & Topics…

In set theory, a **subset** is a set containing some or all members of another set.

For example, if the set S is defined as { a, b, c }, then { a }, { a, c } and { a, b, c } are all subsets of S.

The symbol ⊆ is used to indicate a subset. So, if S is a subset of T, then S ⊆ T. The symbol is sometimes read as “subset or equal to”, but in general, sets that are equal are subsets of each other.

The formal definition for a subset is:

S ⊆ T ↔ ∀*x*(*x*∈S → *x*∈T)

That is, S is a subset of T if and only if every element of S is also an element T.

A **proper subset** is a subset which contains fewer elements of its parent set. For example, if S is defined as { a, b, c }, { a, b, c } and { a, b, c } are subsets of S, but { a, b, c } is not, since it is equal to S.

In other words, the term proper subset can be read as “subset of but not equal to ”.

The symbol ⊂ is used to indicate a proper subset. So, if S is a proper subset of T, then S ⊂ T.

The formal definition for a subset is:

S ⊆ T ↔ (∀*x*(*x*∈S → *x*∈T) ∧ S ≠ T)

That is, S is a subset of T if and only if every element of S is also an element T.

Set equality, the relation between two sets that have the same elements, can be defined by way of subsets:

S = T if and only if S ⊆ T and T ⊆ S.

Another important note to remember is that the empty set, ∅, is a subset of every set, because the antecedent condition of the subset definition (*x*∈∅) is always false, thus making the conditional true for every *x*.