की उपसमष्टियों के लिए:
एक उपसमष्टि है ( को समाहित करने वाली सबसे छोटी)। यह योग प्रत्यक्ष तब कहलाता है और लिखा जाता है, जब का हर अवयव अद्वितीय रूप से के रूप में विघटित होता हो; तुल्य रूप से (नीचे देखिए) जब हो। और जब हो, तो वे उपसमष्टियाँ में पूरक कहलाती हैं।
उदाहरण
उदाहरण 18.8 (दो रेखाओं का योग)
में मान लीजिए और । उनका योग है
अर्थात् मूल बिंदु से होकर जाने वाला वह समतल जिसमें दोनों रेखाएँ हैं। यह संघ (केवल दो कटती हुई रेखाओं का आकार) से सचमुच बड़ा है: सदिश योग में है पर किसी भी रेखा पर नहीं। और (उभयनिष्ठ सदिश के लिए चाहिए, जिसके पहले दो निर्देशांक बाध्य कर देते हैं): अतः योग प्रत्यक्ष है, और ठीक वही समतल है।
उदाहरण 18.11
में सम फलन और विषम फलन पूरक हैं: कोई भी यों लिखा जाता है
और जो फलन सम भी हो और विषम भी, वह शून्य है। ( पर लगाने से यह अध्याय 4 की जोड़ी ही है।)
उदाहरण 18.12 ( में एक पूरक जोड़ी)
नियत कीजिए और , (अचर फलन) रखिए। तब । वस्तुतः में वे अचर फलन हैं जो पर शून्य होते हैं, अर्थात् ; और हर यों विघटित होता है
यह विघटन याद रखने योग्य है: किसी बिंदु पर के मान को घटा देना ही “ पर शून्य होने वाले फलनों” पर प्रक्षेप करने की मानक विधि है। ध्यान दीजिए कि एक बड़ी उपसमष्टि है और एक छोटी; पूरक जोड़ी का किसी भी अर्थ में संतुलित होना आवश्यक नहीं।