 For example, an open real interval is not compact because its hyperreal extension *(0,1) contains infinitesimals, which are infinitely close to 0, which is not a point of "X".A continuous image of a compact space is compact.This implies the extreme value theorem