1. Топологія на фактор-множині, що виникає внаслідок факторизації топологічного простору за певним відношенням еквівалентності; топологія, індукована канонічною проекцією на множину класів еквівалентності.
2. Топологічна структура, що визначається на множині суміжних класів топологічної групи за її підгрупою, зазвичай замкненою.