# Generating the Surreal Numbers

Generating the Surreal Numbers

A surreal is recursively defined as an ordered pair of sets of surreals; the first surreal is , with both left and right sets empty; this is written as for compactness. Once any surreal has been defined, it can also be included in the left or right sets, iteratively producing further surreals. The slider selects the first few generations of surreal numbers, which can be viewed as a list, a plot on the number line, or in tree or graph form, showing which surreals were used in the construction of others.

{L|R}

0≡{∅|∅}

{|}