In matematica, una struttura su un insieme è costituita da oggetti matematici addizionali che in qualche modo si sovrappongono all'insieme, consentendo di visualizzarlo, lavorarci, usarlo come strumento di calcolo e di assegnare uno specifico significato all'insieme e ai suoi elementi.