Niezmiennik topologiczny – wielkość, struktura lub cecha, która pozostaje niezmienna przy przekształceniach homeomorficznych jednej przestrzeni topologicznej w inną[1].