Wikipedia:Greatest Lower Bound
Wikipedia:Infimum and supremum Wikipedia:Probably Approximately Correct