топологічних просторів X і Y – пара неперервних відображень f: X → Y і g: Y→ X така, що f◦g~IdY і g◦ f~IdX