one-to-one partial transformations) forms an inverse semigroup, called the symmetric inverse semigroup[1] (actually a monoid) on X.
The conventional notation for the symmetric inverse semigroup on a set X is
Details about the origin of the symmetric inverse semigroup are available in the discussion on the origins of the inverse semigroup.
When X is a finite set {1, ..., n}, the inverse semigroup of one-to-one partial transformations is denoted by Cn and its elements are called charts or partial symmetries.
[5] The cycle notation of classical, group-based permutations generalizes to symmetric inverse semigroups by the addition of a notion called a path, which (unlike a cycle) ends when it reaches the "undefined" element; the notation thus extended is called path notation.