Each real set, function, and relation has its natural hyperreal extension, satisfying the same first-order properties.
Jokaisella reaalisella joukolla, funktiolla ja relaatiolla on luonnollinen hyperreaalinen laajennuksensa, joka täyttää samat ominaisuudet.