X ilingesel uzayındaki Y altkümesi için, her yöresi Y nin gevşek olmayan (X içinde) bir altkümesini kapsatan noktaların kümesi.