定義
X を位相空間とする。
(X_i), i ∈ I を X の部分集合の族とする。
各 i に対して、f_i：X_i → X を包含写像とする。
X の位相が (f_i), i ∈ I に関する X の終位相(過去スレ019の70)と一致するとき
X の位相は (X_i), i ∈ I で定まる(X is coherent with or determined by (X_i), i ∈ I)と言う。