<?xml version="1.0" encoding="UTF-8"?>

<record version="4" id="1201">
 <title>isolated</title>
 <name>Isolated</name>
 <created>2002-01-04 01:47:55</created>
 <modified>2006-10-03 14:39:18</modified>
 <type>Definition</type>
 <creator id="24" name="djao"/>
 <author id="24" name="djao"/>
 <classification>
	<category scheme="msc" code="54A05"/>
 </classification>
 <defines>
	<concept>isolated set</concept>
	<concept>isolated point</concept>
 </defines>
 <synonyms>
	<synonym concept="isolated" alias="discrete set"/>
 </synonyms>
 <preamble>\usepackage{amssymb}
\usepackage{amsmath}
\usepackage{amsfonts}
\usepackage{graphicx}
\usepackage{xypic}</preamble>
 <content>Let $X$ be a topological space, let $S \subset X$, and let $x \in S$. The point $x$ is said to be an \emph{isolated} point of $S$ if there exists an open set $U \subset X$ such that $U \cap S = \{x\}$.

The set $S$ is \emph{isolated} or \emph{discrete} if every point in $S$ is an isolated point.</content>
</record>
