Assertion: ring's set | /r/HasProperty | given topology
Facets:
Source sentences:
text: A ring R is a topological ring if its set of elements R is given a topology which makes the addition map (
text: is a topological ring if its set of elements is given a topology which makes the addition map ( continuous as maps between topological spaces (where × inherits the product topology or any other product in the category).