位相、あるいは位相空間は集合 "x" とその開集合系とも呼ばれる部分集合の族 σ の組("x", σ)として与えられる。