yerel dışbükey dolaysız toplam anlamı İng. locally convex direct sum'
(…) yerel dışbükey uzaylar takımı olmak üzere, (…)gömevlerinin tümünü sürekli kılan ilingelerin en küçük üst sınırı ile donatılmış (…)dolaysız toplamı.