greatest lower bound

created by mps
No more writeups are being accepted for this node. Please post all writeups under infimum. If you feel you have something to add to this node, post it on your Scratch Pad and contact an editor.