>>561 における E の位相を (F_i) と (g_i) で定まる局所凸な終位相
と言う。