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