Open Sets: Definition, Properties