Operater, pri matematiki, kateri koli simbol, ki kaže na izvedbo operacije. Primera sta kvadratni koren of√x (kar pomeni, da je treba vzeti kvadratni koren) in d / dx (kar kaže na razlikovanje glede na x). Operaterja lahko obravnavamo kot funkcijo, preoblikovanje ali preslikavo v smislu, da povezuje ali »preslikava« elemente iz enega niza v elemente iz drugega niza. Glej tudi avtomorfizem.
formalna logika: Medopredeljivost operaterjev
Pravkar našteta pravila bi omogočila, da bo prvi zakon De Morgan, naveden v tabeli 3, preoblikoval vse wff, ki vsebujejo poljubno število