the semigroup of all one-to-one partial left translations

• 部分单左平移半群