Um estudo do operador supremo sobre pseudovariedades de semigrupos Teses