X yol bağlantılı ve yerel yol bağlantılı uzayı verildiğinde, aşağıdaki koşulu gerçekleyen X yol bağlantılı ve yerel yol bağlantılı uzayı ile p : (?) sürekli gönderiminden oluşan (X,p) sıralı ikilisi : Her bir (?) öğesinin, (?) nun yol bileşenleri p altında U ya ilingesel eşyapılı olacak biçimde bir U yol bağlantılı açık yöresi vardır.
TDK Matematik Terimleri Sözlüğü