Description: The right set of a surreal number is a subset of the surreals. (Contributed by Scott Fenton, 20-Aug-2024)