Una estructura matemática es un conjunto (o, a veces, varios conjuntos) con asociados diversos objetos matemáticos tales como subconjuntos, conjuntos de subconjuntos, operaciones y relaciones, todo lo cual debe satisfacer diversas necesidades (axiomas). La colección de objetos matemáticos asociados se llama la estructura y el conjunto es llamado el conjunto subyacente. (Extraído de aquí)
Un conjunto (con otros objetos matemáticos tales como subconjuntos, conjuntos de subconjuntos, operaciones y relaciones, y) es una estructura matemática si satisface todos los requisitos del (los axiomas).
Pregunta:
Son los dos anteriores declaraciones equivalentes? Cual es la correcta?
Mi interpretación:
Las dos afirmaciones son equivalentes, ya que, un Conjunto puede ser una Estructura o de una Estructura puede ser un Conjunto. Son intercambiables. Significan la misma cosa.