Dichotomy
（重定向自Dichotomic）
A dichotomy is a partition of a whole (or a set) into two parts (subsets). In other words, this couple of parts must be
Such a partition is also frequently called a bipartition.
The two parts thus formed are complements. In logic, the partitions are opposites if there exists a proposition such that it holds over one and not the other.