Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

According to Wolfram MathWorld, a collection of sets $A_1, A_2, \ldots, A_n$ is said to be disjoint if $A_i \cap A_j = \emptyset$ for all $i \ne j$. In other words, 'disjoint' refers only to 'pairwise disjoint'.

I am looking for a name for a collection of sets where $A_1 \cap A_2 \ldots \cap A_n = \emptyset$ but the sets are not necessarily pairwise disjoint. I was hoping there would be a term like 'qualifier disjoint' to refer to this.

For example, $\{0,1\}, \{0,2\}$ and $\{1,2\}$ are not pairwise disjoint, but the intersection of all three sets is empty.

If there's not an accepted name for this, how should I best express the concept in writing (given that I will need to refer to it many times)?

share|cite|improve this question
    
Why don't you make up a term? Say.. "totally disjoint" or something? – Cameron Williams Jul 25 '13 at 1:50
    
I've heard teachers consciously use the awkward term "jointly disjoint" to contrast with the stronger property of pairwise disjointness. It's usually easier just to state the sets "have empty intersection" and not make a phrase that parallels the pairwise disjoint case. – hardmath Jul 25 '13 at 1:55
    
a collection of sets $\{A_i\mid i\in I\}$ is said to have the finite intersection property (FIP) if the intersection of a finite subcollection is always non-empty. The term is pretty standard, and it is used in the context of compactness (Every closed family with FIP has non-empty intersection) or filters, which by definition have this property. Since your collection is finite and the intersection is empty, you could refer to it as a collection without FIP :-) – Stefan Hamcke Jul 25 '13 at 12:52
    
@hardmath There's 'disjoint' or 'mutually disjoint' – BCLC Dec 6 '15 at 17:48

According to my advanced probability professor,

sets $A_1, A_2, ...$ are (mutually) disjoint if

$$\bigcap_{i=1}^{\infty} A_i = \emptyset $$

Sets $A_1, A_2, ...$ are pairwise disjoint if

$$A_i \cap A_j = \emptyset \ \forall i \ne j$$

Apparently, most texts use 'disjoint' to refer to 'pairwise disjoint'. Whenever a text uses 'pairwise disjoint', we can assume 'disjoint' refers to 'mutually disjoint'.

I think it's the same as 'pairwise distinct' and 'distinct'


Some stuff on Math SE/meta

Do Kolmogorov's axioms really need only disjointness rather than pairwise disjointness?

Should these be simply 'disjoint' instead of 'pairwise disjoint'?

Are pairwise mutually exclusive events the same as mutually exclusive events?

share|cite|improve this answer
    
No. In standard usage, "disjoint", "pairwise disjoint" and "mutually disjoint" (as far as that is used) are synonyms. – Daniel Fischer Dec 6 '15 at 21:00
    
@DanielFischer My advanced probability professor deducted points from people who said disjoint instead of pairwise disjoint – BCLC Dec 7 '15 at 4:45
    
You've mentioned that before. But you have been told before that that is not standard usage. It isn't. – Daniel Fischer Dec 7 '15 at 10:18
    
@DanielFischer Depends on the text? Or not? – BCLC Dec 7 '15 at 11:15
    
Yes, and if an author decides to call the property yellow or feverish, that's valid too. A bad idea, but valid. Of course calling it "disjoint" makes more sense, but in a way it's worse, since it takes a term and deviates from its standard usage, which invites a lot of confusion. – Daniel Fischer Dec 7 '15 at 11:54

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.