This result may be thought of as a sort of regularity theorem.
Our aim here is to give some sort of functorial description of $K$ in terms of $G$.
This sort of proof will recur frequently in what follows.
This sort of tacit convention is used throughout Gelfand theory.
Go to the list of words starting with: a
b
c
d
e
f
g
h
i
j
k
l
m
n
o
p
q
r
s
t
u
v
w
y
z