"Y" 的连续映射 "f"，有一个唯一的从 β"X" 到 "Y" 连续映射 "g" 扩张 "f"，在 "f" 是 "g" 和 "j" 的复合意义上。
一致结构.完全正则性正好是在拓扑空间上存在一致结构的必需条件。换句话说，所有一致空间都有完全正则拓扑，而所有完全正则空间 "X" 是可一致化空间。拓扑空间允许分离的一致结构当且仅当它是吉洪诺夫空间。给定完全正则空间 "X" 通常存在多于一个 "X" 上的一致结构相容于 "X" 的拓扑。但是，总是有最细一致结构，叫做 "X" 的精细