Vocabulary

拡大実数

extended real number

noun