🔢 mathematics

Rough sets by reflexive relations and their algebras

यह शोधपत्र रिफ्लेक्सिव संबंधों (reflexive relations) द्वारा प्रेरित रफ सेट्स के पूर्णता (completion) की बीजगणितीय संरचनाओं की जांच करता है, और उन विशिष्ट स्थितियों को व्युत्पन्न करता है जिनके अंतर्गत ये संरचनाएं रेगुलर स्यूडोकॉम्प्लीमेंटेड क्लेन बीजगणिक (regular pseudocomplemented Kleene algebras), पूर्णतः वितरणीय डबल स्टोन बीजगणिक (completely distributive double Stone algebras), या समतुल्यता संबंधों (equivalence relations) द्वारा जनित बीजगणिकों के समकक्ष रेगुलर डबल स्टोन बीजगणिक (regular double Stone algebras) बनाती हैं।

मूल लेखक: Jouni Järvinen, Sándor Radeleczki

प्रकाशित 2026-03-31

📖 6 मिनट में पढ़ें🧠 गहराई से पढ़ें

CC BY 4.0

मूल लेखक: Jouni Järvinen, Sándor Radeleczki

मूल पेपर CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) के तहत लाइसेंस किया गया है। ✨ नीचे दिए गए पेपर की यह व्याख्या AI से तैयार की गई है। इसे लेखकों ने न तो लिखा है, न इसका समर्थन किया है। तकनीकी सटीकता के लिए मूल पेपर देखें। पूरा डिस्क्लेमर पढ़ें

कल्पना कीजिए कि आप वस्तुओं के एक बिखरे हुए ढेर को छाँटने की कोशिश कर रहे हैं। गणित की आदर्श दुनिया में, आपके पास एक सटीक नियम पुस्तिका (तुल्यता संबंध - equivalence relation) होती है जो आपको बताती है कि कौन सी वस्तुएं जुड़वा भाई-बहन की तरह बिल्कुल एक जैसी हैं। यदि आप एक को जानते हैं, तो आप दूसरे को भी जानते हैं। यह छाँटने के काम को आसान बना देता है और एक बहुत ही व्यवस्थित, पूर्वानुमानित संरचना बनाता है।

लेकिन वास्तविक दुनिया अधिक अव्यवस्थित है। कभी-कभी, चीजें समान होती हैं लेकिन बिल्कुल एक जैसी नहीं। कभी-कभी, "A, B जैसा है" का मतलब यह नहीं होता कि "B, A जैसा है।" हो सकता है कि एक चित्र किसी व्यक्ति से मिलता-जुलता हो, लेकिन वह व्यक्ति उस चित्र जैसा न दिखे। हो सकता है कि एक पुत्र अपने पिता से मिलता हो, लेकिन पिता आवश्यक रूप से पुत्र की तरह न दिखे।

यह शोध पत्र इस बात पर चर्चा करता है कि जब हम "परफेक्ट जुड़वाओं" से इन "एकतरफा समानताओं" की ओर बढ़ते हैं, तो हमारे "छाँटने के नियमों" का क्या होता है। लेखक, जौनी जारविनेन (Jouni Järvinen) और सैंडर राडेलेत्स्की (Sándor Radeleczki), रफ सेट्स (Rough Sets) का अध्ययन करने वाले गणितज्ञ हैं। रफ सेट्स को अनिश्चितता को संभालने के तरीके के रूप में देखें। यह कहने के बजाय कि "यह वस्तु निश्चित रूप से बॉक्स में है," आप कहते हैं, "यह वस्तु शायद बॉक्स में है" (अपर एप्रोक्सिमेशन/ऊपरी अनुमान) या "यह वस्तु निश्चित रूप से बॉक्स में है" (लोअर एप्रोक्सिमेशन/निचला अनुमान)।

यहाँ उनकी खोज की कहानी है, जिसे सरल अवधारणाओं में विभाजित किया गया है:

1. समस्या: बिखरा हुआ ढेर

जब समानता का नियम पूर्ण (सममित और संक्रामक) होता है, तो सभी संभावित "रफ सेट्स" का संग्रह एक सुंदर, व्यवस्थित संरचना बनाता है जिसे लैटिस (Lattice) कहा जाता है। यह एक पूरी तरह से व्यवस्थित बुकशेल्फ़ की तरह है जहाँ हर किताब का एक विशिष्ट स्थान होता है, और आप हमेशा किसी भी किताब का "विपरीत" पा सकते हैं।

हालाँकि, जब समानता का नियम केवल रिफ्लेक्सिव (reflexive) (सब कुछ स्वयं के समान है) होता है लेकिन सममित या संक्रामक नहीं होता, तो बुकशेल्फ़ ढहने लगता है। संरचना अब एक उचित लैटिस भी नहीं रह जाती; यह एक बिखरा हुआ ढेर बन सकती है जहाँ आप कुछ वस्तुओं के लिए स्पष्ट "शीर्ष" या "आधार" नहीं पा सकते।

2. समाधान: "डेडकिंड-मैकनील" (Dedekind–MacNeille) सुरक्षा जाल

इस बिखरे हुए ढेर को ठीक करने के लिए, लेखक एक गणितीय उपकरण का उपयोग करते हैं जिसे डेडकिंड-मैकनील कंप्लीशन (Dedekind–MacNeille completion) कहा जाता है।

उपमा: कल्पना कीजिए कि आपका बिखरा हुआ रफ सेट्स का ढेर एक टूटा हुआ पुल है। आप इस पर सुरक्षित रूप से चल नहीं सकते। "कंप्लीशन" उन अंतरालों में कंक्रीट डालने की तरह है ताकि एक ठोस, निरंतर पुल बनाया जा सके। यह लुप्त हिस्सों को भर देता है ताकि संरचना फिर से एक पूर्ण, मजबूत लैटिस बन जाए।
वे इस नई, ठोस संरचना को DM(RS) कहते हैं।

3. खोज: व्यवस्थित संरचनाओं के नए प्रकार

लेखकों ने पूछा: "इस नए, ठोस पुल (DM(RS)) के पास विशेष, सुंदर गुण कब होंगे?" उन्होंने पाया कि कुछ प्रकार के अव्यवस्थित संबंधों के लिए, पुल न केवल ठोस हो जाता है; बल्कि यह बीजगणित में ज्ञात एक विशिष्ट प्रकार की सुंदर संरचना बन जाता है जिसे रेगुलर डबल स्टोन अलजेब्रा (Regular Double Stone Algebra) कहा जाता है।

इन बीजगणितीय संरचनाओं को पुल के विभिन्न "वास्तुकला शैलियों" के रूप में समझें:

क्लीन अलजेब्रा (Kleene Algebra): एक ऐसी संरचना जहाँ आप "शायद" तर्क (जैसे "शायद बारिश हो रही है, या नहीं भी हो सकती है") को संभाल सकते हैं।
स्टोन अलजेब्रा (Stone Algebra): एक ऐसी संरचना जहाँ "शायद" वाले क्षेत्र बहुत सुव्यवस्थित और पूर्वानुमानित होते हैं।
डबल स्टोन अलजेब्रा (Double Stone Algebra): एक ऐसी संरचना जो दो दिशाओं में एक साथ (आगे और पीछे) पूर्वानुमानित होती है।

4. "क्लिंकर इक्विवेलेंस": नया नायक

इस शोध पत्र का सबसे रोमांचक हिस्सा एक नए प्रकार के संबंध की खोज है जिसे वे क्लिंकर इक्विवेलेंस (Clinker Equivalence) कहते हैं।

रूपक: यह नाम "क्लिंकर-बिल्ट" (clinker-built) वाइकिंग जहाजों से आया है। इस विधि में, लकड़ी के तख्ते छत की टाइलों की तरह एक-दूसरे के ऊपर चढ़े होते हैं। वे पूरी तरह से एक सीध में नहीं होते (एक तुल्यता संबंध की तरह), लेकिन वे पर्याप्त रूप से ओवरलैप होते हैं जिससे जहाज जलरोधी और मजबूत बनता है।
गणित: एक "क्लिंकर इक्विवेलेंस" एक ऐसा संबंध है जहाँ वस्तुओं के "पड़ोस" (उन चीजों के सेट जिनसे वे समान हैं) एक बहुत ही विशिष्ट, गैर-अनावश्यक तरीके से ओवरलैप होते हैं।
परिणाम: यदि आपका समानता नियम एक "क्लिंकर इक्विवेलेंस" है, तो यह बिखरा हुआ पुल (DM(RS)) एक रेगुलर डबल स्टोन अलजेब्रा में बदल जाता है। यह एक ऐसी संरचना है जो पुराने "इक्विवेलेंस रिलेशन" (तुल्यता संबंध) की दुनिया के लगभग उतनी ही पूर्ण और पूर्वानुमानित है, लेकिन यह वास्तविक दुनिया की अव्यवस्थित, एकतरफा समानताओं को बहुत बेहतर तरीके से संभालती है।

5. यह क्यों मायने रखता है?

वास्तविक दुनिया में, डेटा शायद ही कभी पूर्ण होता है।

चिकित्सा निदान: एक लक्षण बीमारी का संकेत दे सकता है, लेकिन बीमारी हमेशा वह लक्षण नहीं दिखाती है।
सिफारिश इंजन (Recommendation Engines): यदि आप फिल्म A पसंद करते हैं, तो आप फिल्म B भी पसंद कर सकते हैं, लेकिन फिल्म B पसंद करने का मतलब यह नहीं है कि आप फिल्म A भी पसंद करेंगे।
सामाजिक नेटवर्क: आप अपने मित्र पर भरोसा कर सकते हैं, लेकिन वे शायद आप पर वापस भरोसा न करें।

यह शोध पत्र गणितज्ञों और कंप्यूटर वैज्ञानिकों को एक नया टूलकिट देता है। यह उन्हें बताता है: "यदि आपके डेटा में यह विशिष्ट 'ओवरलैप' पैटर्न (क्लिंकर इक्विवेलेंस) है, तो आप अपने डेटा के पूर्णतः सममित न होने के बावजूद, इसे विश्लेषण करने के लिए शक्तिशाली, पूर्वानुमानित गणितीय नियमों का उपयोग कर सकते हैं।"

सारांश

लेखकों ने एक अव्यवस्थित, एकतरफा समानता नियम लिया, उसे एक पूर्ण संरचना बनाने के लिए एक सुरक्षा जाल बनाया, और खोजा कि यदि ओवरलैप बिल्कुल सही है (एक वाइकिंग जहाज के तख्तों की तरह), तो परिणाम एक गणितीय रूप से सुंदर और अत्यधिक पूर्वानुमानित प्रणाली है। उन्होंने इस विशेष पैटर्न को क्लिंकर इक्विवेलेंस नाम दिया, जो हमारी वास्तविक दुनिया की अपूर्ण, दिशात्मक समानताओं को मॉडल करने का एक नया तरीका प्रदान करता है।

यहाँ जौनी जारविनेन (Jouni Järvinen) और सैंडर राडेलेत्स्की (Sándor Radeleczki) के शोध पत्र "Rough sets by reflexive relations and their algebras" का विस्तृत तकनीकी सारांश दिया गया है।

1. समस्या विवरण (Problem Statement)

रफ सेट थ्योरी (Rough set theory), जिसे मूल रूप से Z. पावलक (Z. Pawlak) द्वारा पेश किया गया था, ब्रह्मांड $U$ के उपसमुच्चयों (subsets) के सन्निकटन (approximation) के लिए तुल्यता संबंधों (equivalence relations) पर निर्भर करती है। हालाँकि, कई वास्तविक दुनिया की स्थितियों में गैर-तुल्यता संबंध (जैसे कि टॉलरेंस संबंध, क्वाज़ीऑर्डर, या मनमाने बाइनरी संबंध) शामिल होते हैं। जब अंतर्निहित संबंध $R$ एक तुल्यता संबंध नहीं होता है, तो रफ सेट्स $RS$ (लोअर और अपर एप्रोक्सिमेशन के जोड़े) आवश्यक रूप से एक लैटिस (lattice) नहीं बनाते हैं, या यदि वे बनाते भी हैं, तो उनमें वांछित बीजगणितीय गुण (algebraic properties) की कमी हो सकती है।

इसे संबोधित करने के लिए, लेखक रफ सेट्स के क्रमित समुच्चय (ordered set) के डेडकिंड-मैकनील पूर्णता (Dedekind–MacNeille completion), जिसे $DM(RS) $कहा जाता है, का उपयोग करते हैं। यह पूर्णता एक पूर्ण लैटिस संरचना सुनिश्चित करती है, भले ही$ RS$ स्वयं एक लैटिस न हो। इस शोध पत्र का केंद्रीय प्रश्न उन विशिष्ट प्रकार के परावर्तक संबंधों (reflexive relations) $R$ का लक्षण वर्णन करना है, जिनके तहत पूर्ण लैटिस $DM(RS)$ विशिष्ट, सुव्यवस्थित बीजगणितीय संरचनाएं बनाता है:

रेगुलर स्यूडो-कॉम्प्लीमेंटेड क्लेन बीजगणित (Regular Pseudocomplemented Kleane Algebras)।
डबल स्टोन बीजगणित (Double Stone Algebras)।
रेगुलर डबल स्टोन बीजगणित (Regular Double Stone Algebras)।

लेखक तुल्यता संबंधों के लिए ज्ञात परिणामों को एक व्यापक वर्ग के परावर्तक संबंधों तक सामान्यीकृत करने का लक्ष्य रखते हैं, विशेष रूप से इस बात की जांच करते हैं कि कब ये बीजगणित स्टोन स्थिति (Stone condition) ( $x^* \vee x^{**} = 1$ ) और नियमितता (regularity) (कॉन्ग्रुएंस-रेगुलरिटी) को संतुष्ट करते हैं।

2. कार्यप्रणाली (Methodology)

यह शोध पत्र ऑर्डर थ्योरी (order theory), लैटिस थ्योरी (lattice theory) और रफ सेट थ्योरी के संयोजन का उपयोग करता है। कार्यप्रणाली इस प्रकार है:

मौलिक सेटअप (Foundational Setup): लेखक एक मनमाने परावर्तक संबंध $R$ के आधार पर रफ सन्निकटन ( $X^\blacktriangleleft, X^\blacktriangleright$ ) को परिभाषित करते हैं। वे रफ सेट्स $RS $और इसके डेडकिंड-मैकनील पूर्णता$ DM(RS)$ को परिभाषित करते हैं।
बीजगणितीय लक्षण वर्णन (Algebraic Characterization): वे अपर एप्रोक्सिमेशंस (upper approximations) $\wp(U)^\blacktriangleright$ और लोअर एप्रोक्सिमेशंस (lower approximations) $\wp(U)^\blacktriangleleft$ के लैटिसों का परीक्षण करके $DM(RS)$ के बीजगणितीय गुणों का विश्लेषण करते हैं।
स्यूडो-कॉम्प्लीमेंटेशन (Pseudocomplementation): लेखक $\wp(U)^\blacktriangleright$ के गुणों के आधार पर $DM(RS) $में स्यूडो-कॉम्प्लीमेंट ($ ^* $) और ड्यूल स्यूडो-कॉम्प्लीमेंट ($ ^+$) के लिए स्पष्ट सूत्र व्युत्पन्न करते हैं। वे इन कॉम्प्लीमेंट्स के निर्माण के लिए संबंध के कोर (core) ( $core_R(x)$ ) की अवधारणा का उपयोग करते हैं।
ज्वइन-इररेड्यूसिबल्स का संरचनात्मक विश्लेषण (Structural Analysis of Join-Irreducibles): कार्यप्रणाली का एक महत्वपूर्ण हिस्सा $DM(RS) $के **कम्प्लीटली ज्वइन-इररेड्यूसिबल तत्वों** ($ J $) का विश्लेषण करना है। लेखक इन तत्वों को वर्गीकृत करते हैं और$ J$ के "लेवल" (levels) का अध्ययन करते हैं।
शर्त का व्युत्पत्ति (Condition Derivation): वे संबंध $R$ पर आवश्यक और पर्याप्त शर्तें स्थापित करते हैं (विशेष रूप से $\wp(U)^\blacktriangleright$ के परमाणुओं (atoms) और कोर्स (cores) की गैर-रिक्तता के संबंध में) जो $DM(RS)$ को स्टोन और डबल स्टोन बीजगणित के एक्सिओम (axioms) को संतुष्ट करने के लिए मजबूर करती हैं।
प्रति-उदाहरण और सामान्यीकरण (Counter-Examples and Generalizations): यह शोध पत्र यह प्रदर्शित करने के लिए विशिष्ट उदाहरणों (जैसे गैर-सममित, गैर-संक्रामक संबंध) का उपयोग करता है कि ये बीजगणितीय संरचनाएं तुल्यता संबंधों के दायरे से बाहर भी अस्तित्व में हो सकती हैं।

3. मुख्य योगदान (Key Contributions)

A. रेगुलर स्यूडो-कॉम्प्लीमेंटेड क्लेन बीजगणित का लक्षण वर्णन

लेखक सिद्ध करते हैं कि यदि $DM(RS)$ एक स्पेशियल (spatial) और कम्प्लीटली डिस्ट्रिब्यूटिव (completely distributive) लैटिस है, तो यह एक रेगुलर स्यूडो-कॉम्प्लीमेंटेड क्लेन बीजगणित बनाता है यदि और केवल यदि अपर एप्रोक्सिमेशन का लैटिस $\wp(U)^\blacktriangleright$ एक एटोमिस्टिक बुलीअन लैटिस (atomistic Boolean lattice) है।

यह पिछले परिणामों का सामान्यीकरण करता जहाँ ऐसी संरचनाएं केवल तुल्यता संबंधों या इर्रिडंडेंट कवरिंग (irredundant coverings) द्वारा प्रेरित विशिष्ट टॉलरेंस संबंधों के लिए ज्ञात थीं।

B. स्टोन और डबल स्टोन बीजगणित का लक्षण वर्णन

यह शोध पत्र विशिष्ट शर्तों को पेश करता है, जिन्हें (St1) और (St2) लेबल किया गया है, जो अपर एप्रोक्सिमेशंस के प्रतिच्छेदन (intersection) गुणों से संबंधित हैं।

स्टोन स्थिति (Stone Condition): $DM(RS) $एक स्टोन बीजगणित है यदि और केवल यदि किसी$ x, y, p $के लिए जहाँ$ {x}^\blacktriangleright, {y}^\blacktriangleright \subseteq {p}^\blacktriangleright$, मीट (meet) $\{x\}^\blacktriangleright \wedge \{y\}^\blacktriangleright$ गैर-रिक्त है।
डबल स्टोन स्थिति (Double Stone Condition): $DM(RS)$ एक डबल स्टोन बीजगणित है यदि यह एक स्टोन बीजगणित है और इसका ड्यूल (dual) भी एक स्टोन बीजगणित है।

C. "क्लिंकर इक्विवेलेंस" (Clinker Equivalence) का परिचय

सबसे महत्वपूर्ण योगदान एक नए प्रकार के संबंधों की पहचान है जिसे क्लिंकर इक्विवेलेंस कहा जाता है।

परिभाषा: एक परावर्तक संबंध $R$ एक क्लिंकर इक्विवेलेंस है यदि समुच्चयों का परिवार $\{\{x\}^\blacktriangleright \mid x \in U\}$ $U$ का एक इर्रिडंडेंट कवरिंग (irredundant covering) बनाता है।
महत्व: लेखक सिद्ध करते हैं कि $DM(RS) $एक **रेगुलर डबल स्टोन बीजगणित** बनाता है यदि और केवल यदि$ R$ एक क्लिंकर इक्वेलेंस है।
सामान्यीकरण: यह वर्ग तुल्यता संबंधों के वर्ग से काफी व्यापक है। उदाहरण के लिए, $U=\{1,2,3\}$ पर संबंध $R$ जहाँ $R(1)=U, R(2)=\{2\}, R(3)=\{1,3\}$ एक तुल्यता संबंध नहीं है (यह सममित या संक्रामक नहीं है), फिर भी यह $2 \times 3$ के समरूप (isomorphic) एक रेगुलर डबल स्टोन बीजगणित उत्पन्न करता है।

D. कॉम्प्लीमेंट्स का स्पष्ट निर्माण

शोध पत्र इनवर्स संबंध के कोर (core) का उपयोग करके $DM(RS)$ में स्यूडो-कॉम्प्लीमेंट्स के लिए रचनात्मक सूत्र प्रदान करता है:
$(A, B)^* = (B^* \triangledown \blacktriangleleft, B^*)$
जहाँ $B^*$ $\wp(U)^\blacktriangleright$ में स्यूडो-कॉम्प्लीमेंट है, और $B^*$ कोर सेट्स के माध्यम से कंप्यूट किया जाता है: $B^* = K(B)^{\blacktriangleright c \blacktriangleleft \blacktriangleright}$ ।

4. मुख्य परिणाम (Key Results)

लैटिस संरचना (Lattice Structure): यदि $R$ परावर्तक है और $\wp(U)^\blacktriangleright$ कम्प्लीटली डिस्ट्रिब्यूटिव है, तो $DM(RS)$ एक कम्प्लीटली डिस्ट्रिब्यूटिव स्यूडो-कॉम्प्लीमेंटेड क्लेन बीजगणित है।
नियमितता की स्थिति (Regularity Condition): $DM(RS) $एक *रेगुलर* क्लेन बीजगणित है यदि और केवल यदि$ DM(RS) $के कम्प्लीटली ज्वइन-इररेड्यूसिबल तत्वों के सेट में अधिकतम दो स्तर हैं (अर्थात, इररेड्यूसिबल तत्वों में लंबाई 3 की कोई चेन मौजूद नहीं है)। यह ठीक तभी होता है जब$ \wp(U)^\blacktriangleright$ एक एटोमिस्टिक बुलीअन लैटिस हो।
स्टोन स्थिति (Stone Condition): $DM(RS)$ एक स्टोन बीजगणित है यदि और केवल यदि स्थिति (St1) लागू होती है: किसी भी $p$ के लिए, सेट $\{p\}^\blacktriangleright$ में $\wp(U)^\blacktriangleright$ का ठीक एक परमाणु (atom) होता है (एटोमिक मामले में)।
मुख्य प्रमेय (Theorem 7.2 & 7.6): $DM(RS) $एक **रेगुलर डबल स्टोन बीजगणित** है यदि और केवल यदि$ $एक * * रेगुलरडबलस्टोनबीजगणित * * हैयदिऔरकेवलयदि$ R$ एक क्लिंकर इक्वैलेंस है।
- इसका तात्पर्य यह है कि इन विशिष्ट गैर-तुल्यता संबंधों के लिए रफ सेट्स की बीजगणितीय संरचना शास्त्रीय तुल्यता संबंधों की तरह ही समृद्ध और सुव्यवस्थित है।

5. महत्व (Significance)

सैद्धांतिक विस्तार (Theoretical Expansion): यह शोध पत्र तुल्यता संबंधों से परे रफ सेट थ्योरी के दायरे का महत्वपूर्ण विस्तार करता है। यह प्रदर्शित करता है कि रफ सेट्स के वांछित बीजगणितीय गुण (विशेष रूप से स्टोन और डबल स्टोन बीजगणित) सख्ती से सममिति (symmetry) या संक्रामकता (transitivity) की आवश्यकता नहीं रखते हैं, बल्कि प्रेरित कवरिंग (induced covering) के विशिष्ट संरचनात्मक गुणों (जैसे इर्रिडंडेंसी) पर निर्भर करते हैं।
नया बीजगणितीय वर्ग (New Algebraic Class): क्लिंकर इक्वेलेंस का परिचय शोधकर्ताओं के अध्ययन के लिए एक नया गणितीय ऑब्जेक्ट प्रदान करता है। यह रफ सेट्स और कवरिंग-आधारित रफ सेट्स के बीच के अंतर को पाटता है, और एक सटीक बीजगणितीय लक्षण वर्णन प्रदान करता है।
व्यावहारिक निहितार्थ (Practical Implications): दिशात्मक समानता (directional similarity) वाले अनुप्रयोगों में (जैसे, "A, B के समान है" का अर्थ यह नहीं है कि "B, A के समान है") जहाँ संबंध अक्सर परावर्तक होते हैं लेकिन सममित नहीं होते, यह कार्य सुनिश्चित करता है कि इन जटिल, गैर-सममित परिदृश्यों में भी, परिणामी बीजगणितीय संरचनाएं नियमित और सुपरिभाषित हो सकती हैं, जिससे तार्किक तर्क और डेटा विश्लेषण सुगम होता है।
कार्यप्रणाली की कठोरता (Methodological Rigor): डेडकिंड-मैकनील पूर्णता का उपयोग करके, लेखक इस सीमा को दूर करते हैं कि $RS$ स्वयं एक लैटिस नहीं हो सकता है, जिससे मनमाने परावर्तक संबंधों के तहत रफ सेट्स के लिए एक एकीकृत बीजगणितीय उपचार संभव हो पाता है।

निष्कर्षतः, यह शोध पत्र स्थापित करता है कि रफ सेट बीजगणित की "नियमितता" और "स्टोन" गुण अपर एप्रोक्सिमेशंस की कॉम्बिनेटोरियल संरचना (विशेष रूप से क्या वे एक एटोमिस्टिक बुलीअन लैटिस और एक इर्रिडंडेंट कवरिंग बनाते हैं) द्वारा निर्धारित होते हैं, न कि पारंपरिक तुल्यता संबंध की आवश्यकता द्वारा। यह रफ सेट थ्योरी में तुल्यता संबंधों के एक नवीन सामान्यीकरण के रूप में क्लिंकर इक्वेलेंसेस की खोज की ओर ले जाता है।