En varias ramas de las matemáticas, una estructura es un conjunto con operaciones y relaciones, o de manera más general, un tipo, consiste de objetos matemáticos que de cierta manera se adjuntan o relacionan con el conjunto, facilitando su visualización o estudio, proporcionando significado a la colección.
es el conjunto de objetos o elementos principales y
Otro ejemplo es un conjunto que tenga la estructura de grupo y de espacio topológico, y cuando éstas se relacionan de cierta forma específica, el conjunto se convierte en un grupo topológico.
Los mapeos entre conjuntos que preservan estructura (de manera que las estructuras en el dominio correspondan a estructuras en el contradominio) son de especial interés en muchas áreas de las matemáticas.
Ejemplos de ellos son los homomorfismos que preservan estructuras algebraicas, homeomorfismos que preservan estructuras topológicas y difeomorfismos que preservan estructuras diferenciales Bourbaki sugiere una explicación del concepto de "estructura matemática" en su libro "Teoría de conjuntos" (Capítulo 4.
Estructuras) y luego define sobre esa base, un concepto muy general de isomorfismo.
El conjunto de números reales tiene varias estructuras estándar: Existen relaciones entre ellas: