Baseado no conjunto das funções parciais injetoras em um conjunto não vazio e no conjunto das funções booleanas de várias variáveis, a dissertação apresenta os conceitos de grupos e de semigrupos inversos, que são constituídos por elementos inversíveis. No caso de grupos, a definição de elemento inversível é a usual e, no caso de semigrupos inversos, a definição de elemento inversível é uma generalização do conceito usual de elemento inversível.

Based on the set of injective partial functions in a non empty set and in the set of booleans functions with many variables, this paper shows the concepts of groups and inverse semigroups, which are both made of inversible elements. In groups, the definition of inversible element is the usual and, in inverse semigroups, the definition of inversible element is a generalization of the usual concept of inversible element.