Description: A topological division ring is a topological monoid. (Contributed by Mario Carneiro, 5-Oct-2015)