twierdzenie o części standardowej

Twierdzenie o części standardowej – twierdzenie mówiące o tym, że nieskończenie blisko liczby hiperrzeczywistej ograniczonej znajduje się dokładnie jedna liczba standardowa, tzn.: . Liczbę wyznaczoną przez to twierdzenie oznaczać można jako .