डीप को एक डेटा संरचना के रूप में परिभाषित किया गया है जिसका रूट नोड पर कोई तत्व या कुंजी मान नहीं है। यह निम्नलिखित नियमों को लागू करके बनता है -
- रूट नोड में ऐसा कोई तत्व नहीं है जो इंगित करता हो कि रूट नोड खाली है।
- डेप का बायां सबट्री मिन हीप को इंगित करेगा।
- डीप का राइट सबट्री मैक्स हीप को दर्शाता है।
इस प्रकार, निम्नलिखित कथन की शुद्धता एक गहरी संरचना द्वारा गणितीय रूप से प्रदान की जा सकती है -
यदि कुछ नोड्स के बाएँ उप-वृक्ष और दाएँ उप-वृक्ष खाली नहीं हैं, और उनके संगत नोड्स को क्रमशः 'a' और 'b' द्वारा दर्शाया जा सकता है, तो -
a.KeyValue <=b.KeyValue