Na álgebra abstrata, o conjunto de todas as bijeções parciais sobre um conjunto X forma um semigrupo inverso, chamado de semigrupo inverso simétrico em X. A notação convencional para o semigrupo simétrico inverso em um conjunto X é I X {\displaystyle {\mathcal {I}}_{X}} ou I S X {\displaystyle {\mathcal {IS}}_{X}}. Wikipedia