5.3 Mode Extension

For mode extension, we use the word reconsider to conduct a mode extension.



    reconsider U=D as Real by ...;

As shown above, by using reconsider, it is possible to extend D of Nat's mode as U of Real's mode.