#hyperreal numbers #Non-Standard Analysis #star map #transfer principle #extended reals