https://1library.org/document/z1edpg8y-conjuntos-de-controle-orbitas-adjuntas-compactificacoes-ordenadas-semigrupos.html