En el sentido matemático, el término estructura se refiere a un conjunto sobre cuyos elementos se definen una o más operaciones (leyes de composición), usualmente binarias.
Ejemplo: Consideremos los números racionales positivos con las dos operaciones (unarias) "inverso aditivo" e "inverso multiplicativo" (es decir, "cambiar de signo" y "tomar el recíproco"). Si aplicamos las dos operaciones al número racional 1/2 se obtienen, sucesivamente, los números -1/2 y -2. (O bien, 2 y -2, si las aplico en orden inverso.)
Las estructuras algebraicas más conocidas son el grupo y el anillo y se estudian en el álgebra abstracta.