Definition
The most common choice is to take "small" to mean finite. In this case, two sets are almost disjoint if their intersection is finite, i.e. if
(Here, '|X|' denotes the cardinality of X, and '< ∞' means 'finite'.) For example, the closed intervals and are almost disjoint, because their intersection is the finite set {1}. However, the unit interval and the set of rational numbers Q are not almost disjoint, because their intersection is infinite.
This definition extends to any collection of sets. A collection of sets is pairwise almost disjoint or mutually almost disjoint if any two distinct sets in the collection are almost disjoint. Often the prefix "pairwise" is dropped, and a pairwise almost disjoint collection is simply called "almost 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 almost disjoint if for any i and j in I,
For example, the collection of all lines through the origin in R2 is almost disjoint, because any two of them only meet at the origin. If {Ai} is an almost disjoint collection, then clearly its intersection is finite:
However, the converse is not true—the intersection of the collection
is empty, but the collection is not almost disjoint; in fact, the intersection of any two distinct sets in this collection is infinite.
Read more about this topic: Almost Disjoint Sets
Famous quotes containing the word definition:
“... we all know the wag’s definition of a philanthropist: a man whose charity increases directly as the square of the distance.”
—George Eliot [Mary Ann (or Marian)
“According to our social pyramid, all men who feel displaced racially, culturally, and/or because of economic hardships will turn on those whom they feel they can order and humiliate, usually women, children, and animals—just as they have been ordered and humiliated by those privileged few who are in power. However, this definition does not explain why there are privileged men who behave this way toward women.”
—Ana Castillo (b. 1953)
“Scientific method is the way to truth, but it affords, even in
principle, no unique definition of truth. Any so-called pragmatic
definition of truth is doomed to failure equally.”
—Willard Van Orman Quine (b. 1908)