Bir küme üzerinde tanımlı sürekli bri fonksiyonun tanım kümesini büyütme. Yani, elinde U kümesinde tanımlu bir f fonksiyonu var V⊇U kümesinde bir fonksiyon tanımlamaya çalışıyorsun. Eğer V üzerinde tanımladığın g fonksiyonu g|U=fise g fonksiyonu f fonksiyonunun V'ye genişlemesi diyorsun. Eğer g aynı zamanda sürekli ise sürekli genişleme diyorsun.