taal die gebaseerd is op het functiebegrip van de wiskunde, waarbij het verband tussen de waarde van de functie en zijn argumenten wordt gelegd door een constructie te geven van die waarde door middel van elementaire functies of door een vergelijking te geven waaraan de waarde moet voldoen