  The notion of a right-cancellable protomodular algebra is introduced. It is
proved that a right-cancellable topological protomodular algebra that satisfies
the separation axiom $T_{0}$ is completely regular.
