If F strictly contains R then M is called a hyperreal ideal (terminology due to Hewitt (1948)) and F a hyperreal field.
Если F строго содержит R, то М называется гиперреальным идеалом (по терминологии Хьюитта,1948), а F — гиперреальным полем.