Una estructura abstracta es una abstracción que puede ser de los espacios geométricos o una estructura de conjunto, o una abstracción hipostática que se define por un conjunto de teoremas y leyes matemáticas, propiedades y relaciones de una manera que es lógicamente, si no siempre históricamente, independiente [1] de la estructura de experiencias contingentes, por ejemplo, aquellas que involucran objetos físicos. Las estructuras abstractas se estudian no solo en lógica y matemáticas , sino en los campos que las aplican, como la informática y los gráficos por computadora , y en los estudios que reflexionan sobre ellas, como la filosofía (especialmente la filosofía de las matemáticas ). De hecho, las matemáticas modernas han sido definidas en un sentido muy general como el estudio de estructuras abstractas (por el grupo de Bourbaki : véase la discusión allí, en estructura algebraica y también estructura).
Una estructura abstracta puede representarse (quizás con cierto grado de aproximación) mediante uno o más objetos físicos; esto se denomina implementación o instanciación de la estructura abstracta. Pero la estructura abstracta en sí misma se define de una manera que no depende de las propiedades de ninguna implementación en particular.
Una estructura abstracta tiene una estructura más rica que un concepto o una idea . Una estructura abstracta debe incluir reglas precisas de comportamiento que puedan utilizarse para determinar si una implementación candidata realmente coincide con la estructura abstracta en cuestión, y debe estar libre de contradicciones . Por lo tanto, podemos debatir hasta qué punto un gobierno en particular se ajusta al concepto de democracia , pero no hay lugar para el debate sobre si una secuencia dada de movimientos es o no una partida de ajedrez válida (por ejemplo, los enfoques kasparovianos ).