En er en noenlunde helhetlig kunnskapsmengde om et gitt emne, uttrykt i et matematisk språk. Eksempler kan være «funksjonsteori» og «gruppeteori».