My Network Place
My Network Place
Subset
Definitions[edit]
If A and B are sets and every element of A is also an element of B, then:
or equivalently
If A is a subset of B, but A is not equal to B (i.e. there exists at least one element
of B which is not an element of A), then
or equivalently
For any set S, the inclusion relation is a partial order on the set of all subsets
of S (the power set of S) defined by . We may also partially order by reverse set
inclusion by defining .
When quantified, A B is represented as: x{xA xB}.[1]
Property[edit]
-A is a subset of (or is included in) B, denoted by ,
If and only if the cardinality of their intersection is equal to the cardinality of A.
Formally:
and symbols[edit]
Some authors use the symbols and to indicate subset and superset respectively;
that is, with the same meaning and instead of the symbols, and .[2] So for example,
for these authors, it is true of every set A that A A.
Other authors prefer to use the symbols and to indicate proper subset and
superset, respectively, instead of and .[3] This usage makes and analogous to
the inequality symbols and <. For example, if x y then x may or may not equal y, but
if x < y, then x may not equal y, and is less than y. Similarly, using the convention that
is proper subset, if A B, then A may or may not equal B, but if A B, then A definitely
does not equal B.
Examples[edit]
- The set A = {1, 2} is a proper subset of B = {1, 2, 3}, thus both expressions A B and A B
are true.
- The set D = {1, 2, 3} is a subset of E = {1, 2, 3}, thus D E is true, and D E is not true
(false).
- Any set is a subset of itself, but not a proper subset. (X X is true, and X X is false for any
set X.)
- The empty set { }, denoted by , is also a subset of any given set X. It is also always a proper
subset of any set except itself.
- The set {x: x is a prime number greater than 10} is a proper subset of {x: x is an odd number
greater than 10}
- The set of natural numbers is a proper subset of the set of rational numbers; likewise, the set
of points in a line segmentis a proper subset of the set of points in a line. These are two
examples in which both the subset and the whole set are infinite, and the subset has the
same cardinality (the concept that corresponds to size, that is, the number of elements, of a
finite set) as the whole; such cases can run counter to one's initial intuition.
- The set of rational numbers is a proper subset of the set of real numbers. In this example, both
sets are infinite but the latter set has a larger cardinality (orpower) than the former set.