Ketiga aksioma terpenuhi, jadi \(\tau_Y\) merupakan topologi pada \(Y\text{.}\) Topologi ini disebut topologi kuosien yang ditentukan oleh \(p\) dan \(\tau_X\text{.}\)