Uhl

• 上有界
• 下有界
• 完備格
• 群同態
• 下確界
• 上確界
• 塔斯基不動點定理