::定义.拓扑空间X称为是连通的。当且仅当以下叙述之一成立：一个拓扑空间被称为是不连通的，若它不是连通的。连通性是拓扑空间的一个拓扑不变性质，即两个拓扑空间之间若存在一个同胚映射，其中一个空间是连通的，则另一个空间也是连通的。一些数学家承认空集(按照它独有的拓扑)是连通空间，不过也有数学家不承认这一点。
连通单元.每个空间都能表成它的连通单元的不相交并集。连通单元必然是闭的，在够好的空间（如流形、代数簇）上也同时是开的，但并非总是如此。