つまり、位相空間 "t" が第二可算的であるとは、"t" の可算個の開集合からなる族formula_1が存在して、"t" の任意の開集合がformula_2の適当な部分族に属する開集合の和に表されることをいう。