Cebir, matematiğin cebirsel yapıları ve bu yapılar içindeki ifadelerin manipülasyonunu inceleyen alt dalıdır.