Abstract: | We prove that a complete metrizable topological semigroup with identity that contains a free dense subsemigroup and no commutative
neighbourhoods of identity is almost free. We apply this result to the full transformation semigroup of countable degree and
the semigroup of automaton transformations over finite alphabet. |