ধরি, দুটি ক্ষেত্র "K" এবং "L" এর কীলক সমষ্টি "X" ,এবং আরো মনে করি যে, চিহ্নিত ভিত্তিবিন্দু, মুক্ত নিকটবর্তিতাসমূহ, "U" ⊂ "K" এবং "V" ⊂ "L", এর একটি বিকৃতি প্রত্যাহার। "A" = "K"∪"V" এবং "B" = "U"∪"L" ধরলে "A"∪"B" = "X" এবং "A"∩"B" = "U"∪"V" হয়, যা গঠনগতভাবে সংকোচনযোগ্য। ফলে, এই ধারাটির হ্রাসকৃত সংস্করণের মাধ্যমে যেকোনো মাত্রা n এর জন্য :
ডানের চিত্রে "X" দুটি ২-গোলক "K" এবং "L" এর সমষ্টি। এই বিশেষ ক্ষেত্রে, ২-গোলকের জন্য উপরোল্লিখিত ফলাফল ব্যবহার করে,

কীলক সমষ্টি
সহসমসাংস্থিক সংস্করণ
নিলম্বন
প্রতিপাদন