Index of properties

Index

Note:

• Things are indexed by the adjective in the property, for example: [ilmath]\sigma[/ilmath]-finite is under "finite".
• The specific case contains extra information, so [ilmath]\sigma[/ilmath]-finite is under finite, but specifically [ilmath]\sigma[/ilmath]-finite
• The word "under" is ignored in the index

Adjective	Specific case	Index	Description
Closed	(general)	CLOSED	To say something is closed under means one cannot leave it through the stated property, eg "the integers are closed under addition
	[ilmath]\backslash[/ilmath]-closed	CLOSED_backslash	To say [ilmath]\mathcal{A} [/ilmath] is [ilmath]\backslash[/ilmath]-closed uses [ilmath]\backslash[/ilmath] to denote set subtraction, this means [math]\forall A,B\in\mathcal{A}[A-B\in\mathcal{A}][/math]
	[ilmath]\cap[/ilmath]-closed	CLOSED_cap	If [ilmath]\mathcal{A} [/ilmath] is [ilmath]\cap[/ilmath]-closed then [math]\forall A,B\in\mathcal{A}[A\cap B\in\mathcal{A}][/math] - [ilmath]\mathcal{A} [/ilmath] is closed under finite intersection
	[ilmath]\sigma[/ilmath]-[ilmath]\cap[/ilmath]-closed	CLOSED_cap_sigma	closed under countably infinite intersection. [math]\forall (A_n)_{n=1}^\infty\subseteq\mathcal{A}[\cap_{n=1}^\infty A_n\in\mathcal{A}][/math]
	closed under complement	CLOSED_complement	If [ilmath]\mathcal{A} [/ilmath] is closed under complement then [math]\forall A\in\mathcal{A}[A^c\in\mathcal{A}][/math]
	[ilmath]\cup[/ilmath]-closed	CLOSED_cup	If [ilmath]\mathcal{A} [/ilmath] is [ilmath]\cup[/ilmath]-closed then [math]\forall A,B\in\mathcal{A}[A\cup B\in\mathcal{A}][/math] - [ilmath]\mathcal{A} [/ilmath] is closed under finite union
	[ilmath]\sigma[/ilmath]-[ilmath]\cup[/ilmath]-closed	CLOSED_cup_sigma	closed under countably infinite union. [math]\forall (A_n)_{n=1}^\infty\subseteq\mathcal{A}[\cup_{n=1}^\infty A_n\in\mathcal{A}][/math]
	[ilmath]\backslash[/ilmath]-closed	CLOSED_division	See CLOSED_backslash