Definition:Disjoint Sets

Definition
Two sets $$S$$ and $$T$$ are disjoint iff:
 * $$S \cap T = \varnothing$$

... that is, their intersection is the empty set - they have no elements in common.

Some early sources, for example, refer to such sets as non-overlapping.