a (mathematics|of a topological space) That can be partitioned into two nonempty subsets which are both open and closed.