În matematică, o structură pe o mulțime reprezintă un obiect matematic adițional care, într-un fel sau altul, referențiază respectiva mulțime, înzestrând-o cu semnificație adițională.

O listă parțială de posibile structuri matematice: măsurile, structurile algebrice (grupuri, corpuri, etc.), topologiile, structurile metrice (geometriile), ordonarea, dependența cauzală a evenimentelor, relațiile de echivalență, structurile diferențiale, categoriile matematice etc. 

Uneori, o mulțime este înzestrată cu mai multe structuri matematice; aceasta permite studierea mai în detaliu a mulțimii. Spre exemplu, o structură de ordonare impune o formă mai rigidă, model sau topologie pentru mulțime. De asemenea, dacă o mulțime are atât structură topologică cât și de grup, aceste două structuri fiind în relație, mulțimea devine un grup topologic. 

Aplicațiile (i.e. asocierile) pe mulțimi ce conservă structurile acestora (așa încât structurile din domeniu sunt aplicate pe structuri echivalente din codomeniu) reprezintă interes special în multe câmpuri ale matematicii. Spre exemplu, homomorfismul, ce conservă structurile algebrice; homeomorfismul, ce conservă structurile topologice; și difeomorfismul, ce conservă structurile diferențiale.

În 1939, grupul de matematicieni francezi Nicolas Bourbaki vede în structuri elementele constitutive ale matematicii. Astfel, le menționează prima dată în fascicule ale Teoriei Mulțimilor, tratându-le apoi mai extins în Capitolul IV din ediția 1957^[1]. Ei au identificat trei structuri fundamentale: algebrică, topologică și de ordine.^[1]

Mulțimea numerelor reale are următoarele structuri standard:

• de ordine: fiecare element este ori mai mic, ori mai mare decât oricare altul
• structură algebrică: există operații de înmulțire și adunare ce constituie mulțimea unui corp.
• de normă: intervalele liniei reale au o lungime specifică ce poate fi extinsă măsurii Lebesgue pe submulțimi.
• de metrică: există noțiunea de distanță între puncte.
• geometrică: are o structură metrică și este plană.
• de topologie: există noțiunea de mulțimi deschise.

Există interfețe între structurile descrise mai sus:

• Structura de ordine și, independent, structura metrică implică existența structurii topologice.
• Structura de ordine și structură algebrică implică existența unui corp ordonat.
• Structură algebrică și structura topologică implică existența grupului Lie (i.e. un tip de grup topologic).

• Spațiu (matematică)

• Foldes, Stephan (1994). Fundamental Structures of Algebra and Discrete Mathematics. Hoboken: John Wiley & Sons. ISBN 9781118031438. 
• Hegedus, Stephen John; Moreno-Armella, Luis (2011). „The emergence of mathematical structures”. Educational Studies in Mathematics. 77 (2): 369–388. doi:10.1007/s10649-010-9297-7. 
• Kolman, Bernard; Busby, Robert C.; Ross, Sharon Cutler (2000). Discrete mathematical structures (ed. 4th). Upper Saddle River, NJ: Prentice Hall. ISBN 978-0-13-083143-9. 
• Malik, D.S.; Sen, M.K. (2004). Discrete mathematical structures : theory and applications. Australia: Thomson/Course Technology. ISBN 978-0-619-21558-3. 
• Pudlák, Pavel (2013). „Mathematical structures”. Logical foundations of mathematics and computational complexity a gentle introduction. Cham: Springer. pp. 2–24. ISBN 9783319001197. 
• Senechal, M. (21 mai 1993). „Mathematical Structures”. Science. 260 (5111): 1170–1173. doi:10.1126/science.260.5111.1170. 

Portal Matematică

• „Structure”. PlanetMath.  (oferă un model teoretic definiție.)
• Structuri matematice în informatică (jurnal)