X, Hausdorff bir uzay olsun ve F de X üzerinde tanımlı bir balya. X uzayından rastgele alınmış a ve b elemanlarını birbirine yapıştırarak elde ettiğimiz uzaya Y ve a ile b'den oluşan noktaya x diyelim ve X uzayından Y uzayına olan doğal fonksiyona f diyelim. Bu f fonksiyonunu kullanarak Y uzayı üzerinde f∗F balyasını şöyle tanımlayalım. Eğer U⊆Y açık bir küme ise f∗F(U):=F(f−1(U))
Bu durumda x'deki sapın a ve b'deki saplar cinsinden açıklaması ne olmalı?