Note that we require the domains of G2, G3 to be broad enough to make the above properties meaningful.
注意我们要求 G1, G2, G3 的定义域足够广阔来使上述性质有意义。