इस वाक्य का अधिक जटिल संस्करण उत्पन्न करें न्यूनतम ऊपरी बाउंड स्वयंसिद्ध, जिसे LUB स्वयंसिद्ध के रूप में भी संक्षिप्त किया जाता है, वास्तविक विश्लेषण का स्वयंसिद्ध है।
बेशक, वाक्य का एक अधिक जटिल संस्करण है "कम से कम ऊपरी सीमा स्वयंसिद्ध, जिसे LUB स्वयंसिद्ध के रूप में भी संक्षिप्त किया जाता है, वास्तविक विश्लेषण का एक स्वयंसिद्ध है जो बताता है कि यदि वास्तविक संख्याओं के एक गैर-खाली उपसमुच्चय में ऊपरी सीमा है, तो इसमें कम से कम ऊपरी सीमा है। "