Internal sets behave the same as standard sets of standard reals, including that bounded internal se...