Disjoint Sets

In mathematics, two sets are said to be disjoint if they have no element in common. For example, {1, 2, 3} and {4, 5, 6} are disjoint sets. Formally, two sets A and B are disjoint if their intersection is empty, i.e. if
A\cap B = \empty
This definition extends to any collection of sets. A collection of sets is pairwise disjoint or mutually disjoint if any two distinct sets in the collection are disjoint. Formally, let I be an index set, and for each i in I, let Ai be a set. Then the collection of sets {Ai : i in I} is pairwise disjoint if for any i and j in I,
A_i \ne A_j \quad \Rightarrow \quad A_i \cap A_j = \empty
For example, the collection of sets { {1}, {2}, {3}, ... } is pairwise disjoint. If {Ai} is a pairwise disjoint collection, then clearly its intersection is empty:
\bigcap_{i\in I} A_i = \empty
However, the converse is not true -- the intersection of the collection is empty, but the collection is not pairwise disjoint. A collection of sets {Ai : i in I} is a partition of the set X if {Ai} is a pairwise disjoint collection not containing the empty set, and if
\bigcup_{i\in I} A_i = X
See also:

 

<< PreviousWord BrowserNext >>
compass
bernoulli's equation
list of computer graphics terms
list of computer hardware terms
list of antenna terms
list of coding terms
list of computer programming terms
congruence (geometry)
list of fax terms
list of fiber optic terms
list of telecommunications filter terms
list of telecommunication service terms
stigmata
esa
hubert languet
injunction
franchise
robert graves
compact
pspace
list of telecommunications encryption terms
operetta
uracil
anne boleyn
tequila
open set
goodbye to all that
frederick i, margrave of brandenburg
frederick ii, margrave of brandenburg
1 e27 m
prototile
large magellanic cloud
spacesuit
engagement ring
similarity (mathematics)
distance
maximilian ii, holy roman emperor
infimum
pope lando
engagement
leaf
manufacturing
pine
center