Algebraisk topologi er en del av topologien.