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

<record version="4" id="1233">
 <title>countably compact</title>
 <name>CountablyCompact</name>
 <created>2002-01-04 18:58:38</created>
 <modified>2002-02-03 12:44:55</modified>
 <type>Definition</type>
 <creator id="27" name="Evandar"/>
 <author id="27" name="Evandar"/>
 <classification>
	<category scheme="msc" code="54D20"/>
 </classification>
 <synonyms>
	<synonym concept="countably compact" alias="countable compactness"/>
 </synonyms>
 <related>
	<object name="Compact"/>
	<object name="Lindelof"/>
	<object name="LimitPointCompact"/>
 </related>
 <keywords>
	<term>topology</term>
 </keywords>
 <preamble>\usepackage{amssymb}
\usepackage{amsmath}
\usepackage{amsfonts}
\usepackage{graphicx}
\usepackage{xypic}</preamble>
 <content>A topological space $X$ is said to be \emph{countably compact} if every countable open cover has a finite subcover.

Countable compactness is equivalent to limit point compactness if $A$ is $T_1$ spaces, and is equivalent to \PMlinkname{compactness}{Compact} if $X$ is a metric space.

\PMlinkescapeword{compact}</content>
</record>
