Dedekind cut
"Ra" is the set of all dyadic rationals greater than "a" (reminiscent of a Dedekind cut). Thus the real numbers are also embedded within the surreals.