Մաթեմատիկայի մի բաժինը, որ ուսումնասիրում է մարմինների տարածական ձևերն ու հարաբերությունները, ինչպես և իրականության այլ ձևեր ու հարաբերություններ, որոնք իրենց կառուցվածքով նման են տարածական ձևերին ու հարաբերություններին: