En álgebra abstracta, se entiende por estructura a un conjunto o grupo con una o más operaciones algebraicas. Estas estructuras se clasifican según la cantidad de operaciones que puedan existir en ellas, así como también por sus características, número de elementos o subconjuntos y la relación que exista entre los elementos del conjunto principal, independientemente de su naturaleza.