Operator, in de wiskunde, elk symbool dat een uit te voeren bewerking aangeeft. Voorbeelden zijn vierkantswortel van √x (wat aangeeft dat de vierkantswortel moet worden genomen) en d / dx (die aangeeft dat differentiatie met betrekking tot x moet worden uitgevoerd). Een operator kan worden beschouwd als een functie, transformatie of kaart, in die zin dat hij elementen van de ene set associeert of 'toewijst' aan elementen van een andere set. Zie ook automorfisme.
formele logica: interdefinieerbaarheid van operators
De zojuist genoemde regels zouden het mogelijk maken dat de eerste wet van De Morgan, vermeld in tabel 3, elk wff met een willekeurig aantal
