python 中 from module import func留疑

在学习python过程中， 我们知道from modulex import func 是不会导入模块 modulex 的符号区的，因此是导入到了本身模块的符号区中。
但是在运行func时候会使用到modulex的全局变量，
那这时候的全局变量从哪来

初步猜测：
导入func虽然没有导入到modulex的符号区，但是导入时仍然创建了modulex的符号区，在使用时，仍然使用的modulex的符号区，也就是说，from import在导入函数和变量时，除了符号区不一样外，其他包括生成模块，导入时运行模块等都是一样的。