超準解析で定義できるから、「ある」。