Ang operator, sa matematika, anumang simbolo na nagpapahiwatig ng isang operasyon na isasagawa. Ang mga halimbawa ay ang ugat ng squarex na (kung saan ay nagpapahiwatig ng square root ay dapat gawin) at d / dx (na nagpapahiwatig ng pagkita ng kaibahan na may paggalang sa x ay gumanap). Ang isang operator ay maaaring ituring bilang isang function, pagbabagong-anyo, o mapa, sa kahulugan na iniuugnay o "mga mapa" na mga elemento mula sa isang hanay sa mga elemento mula sa isa pang hanay. Tingnan din ang automorphism.
pormal na lohika: Interdefinability ng mga operator
Ang mga patakaran na nakasaad lamang ay magpapahintulot sa unang batas ng De Morgan na nakalista sa Talahanayan 3 na magbago ng anumang wff na naglalaman ng anumang bilang ng