is an inverse semigroup. Moreover FIS⁢(X) is the Free Inverse Semigroup on X, in the sense that it resolve the following universalmapping problem: given an inverse semigroup S and a map Φ:X→S, a unique inverse semigroups homomorphismΦ¯:FIS⁢(X)→S exists such that the following diagram commutes: