menyelingkup nutupan

Apakah ada definisi yang kurang atau Anda tahu lema turunan lainnya?