En álgebra abstracta, un cuerpo o campo es una estructura algebraica en la cual las operaciones de adición y multiplicación se pueden realizar y cumplen las propiedades asociativa, conmutativa y distributiva, además de la existencia de un inverso aditivo y de un inverso multiplicativo, los cuales permiten efectuar la operaciones de sustracción y división (excepto la división por cero); estas propiedades ya son familiares de la aritmética de números ordinarios.