Indiscrete space

Definition
A topological space is termed an indiscrete space if it satisfies the following equivalent conditions:


 * 1) It has an empty subbasis.
 * 2) It has a basis comprising only the whole space.
 * 3) The only open subsets are the whole space and the empty subset.
 * 4) The only closed subsets are the whole space and the empty subset.
 * 5) The space is either an empty space or its Kolmogorov quotient is a one-point space.

For any set, there is a unique topology on it making it an indiscrete space. This topology is called the indiscrete topology or the trivial topology. It is the coarsest possible topology on the set.

In some conventions, empty spaces are considered indiscrete. In other conventions, we exclude empty spaces from consideration.