One-sided inverses in noncommutative infinitary semigroups

In a former paper we introduced partial infinitary noncommutative semigroups and showed, among other, that significant differences arise in comparison with the commutative case, previously studied in the literature. For example, in the commutative case we cannot have an infinitary identity $e$ together with two elements $a \not= e$, $b \not= e$ such that $ab= e$, just under the assumption that the countable product $abababa\dots$ is defined. Here we show that this is possible in the noncommutative case, actually, we can have an infinitary semigroup on a countable set with a complete identity and such that the operation is defined for every indexed linearly ordered set.