## FANDOM

74 Pages

One plus lambda plus one is the order type of a closed interval of real numbers. It is ordered similarly to lambda, but there is a greatest and least element (the one added to either side).