Una estructura algebraica es, básicamente, un conjunto provisto de una o más operaciones que poseen algunas propiedades especiales.