Greatest lower bound property

Summary