hypernym (pure mathematics IS A KIND OF .... relation)

the branches of mathematics that study and develop the principles of mathematics for their own sake rather than for their immediate usefulness(noun.cognition)

the branch of pure mathematics that deals only with the properties of a figure X that hold for every figure into which X can be transformed with a one more..the branch of pure mathematics that deals only with the properties of a figure X that hold for every figure into which X can be transformed with a one-to-one correspondence that is continuous in both directions(noun.cognition)