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

<record version="7" id="1542">
 <title>locally finite collection</title>
 <name>LocallyFinite</name>
 <created>2002-01-22 13:08:13</created>
 <modified>2008-10-03 14:22:04</modified>
 <type>Definition</type>
 <creator id="2760" name="yark"/>
 <author id="2760" name="yark"/>
 <author id="27" name="Evandar"/>
 <classification>
	<category scheme="msc" code="54D20"/>
 </classification>
 <defines>
	<concept>locally finite</concept>
	<concept>locally countable collection</concept>
	<concept>locally countable</concept>
 </defines>
 <related>
	<object name="PointFinite"/>
 </related>
 <keywords>
	<term>topology</term>
 </keywords>
 <preamble>\usepackage{amssymb}
\usepackage{amsmath}
\usepackage{amsfonts}
</preamble>
 <content>Let $\mathcal{C}$ be a collection of subsets of a topological space $X$.

$\mathcal{C}$ is said to be \emph{locally finite}
if for all $x\in X$ there is a neighbourhood $U$ of $x$
such that $U \cap A = \varnothing$ for all but finitely many $A \in \mathcal{C}$.

Similarly, $\mathcal{C}$ is said to be \emph{locally countable}
if for all $x\in X$ there is a neighbourhood $U$ of $x$
such that $U \cap A = \varnothing$ for all but countably many $A \in \mathcal{C}$.</content>
</record>
