https://1library.org/document/zkex3e8z-semigrupos-de-transformac-oes-parciais-injectivas-crescentes-generaliza.html