# Finite complement topology

This page is a stub, so it contains little or minimal information and is on a to-do list for being expanded.The message provided is:
More useful as an example than anything else

## Definition

Let [ilmath]X[/ilmath] be an arbitrary set. There is a topology, [ilmath]\mathcal{J} [/ilmath], we can give [ilmath]X[/ilmath] called "the finite complement topology", such that [ilmath](X,\mathcal{J})[/ilmath] is a topological space. It is defined as follows[1]:

• [ilmath]\mathcal{J}:\eq\left\{U\in\mathcal{P}(X)\ \big\vert\ U\eq\emptyset \vee\vert X-U\vert\in\mathbb{N}\right\} [/ilmath][Note 1][Note 2], that is to say [ilmath]U\in\mathcal{P}(X)[/ilmath] is in [ilmath]\mathcal{J} [/ilmath] if [ilmath]U\eq\emptyset[/ilmath] or the complement of [ilmath]U[/ilmath] in [ilmath]X[/ilmath] has finite cardinality.

Hence the name "finite complement topology"

A topology must contain the empty set. Hence the first condition, note that [ilmath]X-\emptyset\eq X[/ilmath] which may not be finite! Thus [ilmath]\emptyset[/ilmath] might not otherwise be there.