## FANDOM

74 Pages

One plus lambda is the order type of sets arranged similarly to lambda, but with a single least element (the one added to the start).