Hauptvermutung noun1 •The conjecture, now proven false, that any two triangulations of a triangulable space have a common refinement, a single triangulation that is a subdivision of both of them.