is understood to be the 'default' metric on and is assumed when not stated otherwise, even though there are others.

Similarly, while a topological space consists of both an underlying set and a topology , it is customary to talk about "the space " in situations where only one topology on is ever considered -- once that topology is clearly established.

In general, there is no problem with suppression of

1.Previous
3.Next