A subset is a portion of a set. is a subset of
(written
)
iff every member of
is a member of
. If
is a proper subset of
(i.e., a subset other than the set itself), this is written
. If
is not a subset of
, this is written
. (The notation
is generally not used, since
automatically means that
and
cannot be the same.)
The subsets (i.e., power set) of a given set can be found using Subsets[list].
An efficient algorithm for obtaining the next higher number having the same number of 1 bits as a given number (which corresponds to computing the next subset) is given by Gosper (1972) in PDP-10 assembler.
The set of subsets of a set
is called the power set of
, and a set of
elements has
subsets (including both the set itself and the empty
set). This follows from the fact that the total number of distinct k-subsets
on a set of
elements is given by the binomial sum
For sets of ,
2, ... elements, the numbers of subsets are therefore 2, 4, 8, 16, 32, 64, ... (OEIS
A000079). For example, the set
has the two subsets
and
. Similarly, the set
has subsets
(the empty set),
,
, and
.