It is frequently useful to divide a set into mutually exclusive and jointly exhaustive alternatives, i.e. alternatives such that nothing belongs to more than one, and everything belongs to at least one.
Philosophy dictionary. Academic. 2011.
Philosophy dictionary. Academic. 2011.