Provamos que existe uma correspondência um para um entre as ações parciais de um grupoide G sobre um conjunto X e as ações de semigrupoide inverso do semigrupoide inverso de Exel S (G) sobre X. Também definimos representações ...