Symmetric inverse semigroup
(重定向自Partial symmetry)
In abstract algebra, the set of all partial bijections on a set X (aka one-to-one partial transformations) forms an inverse semigroup, called the symmetric inverse semigroup (actually a monoid) on X. The conventional notation for the symmetric inverse semigroup on a set X is or
In general
is not commutative.