ABSTRACT
V 'Y E <2li(X, G)}. All the B~ contain e, and then the family 'jiq of the BL E > 0, forms a basis for a filter in <2li(X, G) (see, e.g., [9, Chapter 1, Section 6-3]). The problem is now to determine whether <2li(X, G) is a metric group with respect to dq (or oq). Proposition 7. <2li(X, G) is a metric group with respect to dq.
