Tak van de wiskunde die algemene beweringen van verhoudingen onderzoekt, waarbij gebruik wordt gemaakt van letters en andere symbolen om specifieke wiskundige eenheden zoals verzamelingen van getallen, waarden, vectoren en reeksen weer te geven.