A relation p holds pairwise if p i j for all i ≠ j.
p i j
i ≠ j
If f : ℕ → set α is a sequence of sets, then disjointed f is
the sequence formed with each set subtracted from the later ones
in the sequence, to form a disjoint sequence.
f : ℕ → set α