Tanım: $(X,\tau)$ Hausdorff uzayı ve $A\subseteq X$ olsun.
$$A, \,\ \tau\text{-tıkız}$$
$$:\Leftrightarrow$$
$$ (\forall \mathcal{A}\subseteq \tau)\Big{[}A\subseteq\bigcup \mathcal{A}\Rightarrow (\exists \mathcal{A}^*\subseteq\mathcal{A})( |\mathcal{A^*| <\aleph_0})(A\subseteq\bigcup \mathcal{A}^*)\Big{]}$$
$$X, \,\ \tau\text{-tıkız}$$
$$:\Leftrightarrow$$
$$ (\forall \mathcal{A}\subseteq \tau)\Big{[}X=\bigcup \mathcal{A}\Rightarrow (\exists \mathcal{A}^*\subseteq\mathcal{A})(| \mathcal{A^*| <\aleph_0})(X=\bigcup \mathcal{A}^*)\Big{]}$$
Tanım: $(X,\tau)$ topolojik uzay ve $A\subseteq X$ olsun.
$$A, \,\ \tau\text{-tıkızımsı(quasi compact)}$$
$$:\Leftrightarrow$$
$$ (\forall \mathcal{A}\subseteq \tau)[A\subseteq\bigcup \mathcal{A}\Rightarrow (\exists \mathcal{A}^*\subseteq\mathcal{A})(\mid \mathcal{A^*| <\aleph_0})(A\subseteq\bigcup \mathcal{A}^*)]$$
$$X, \,\ \tau\text{-tıkızımsı(quasi compact)}$$
$$:\Leftrightarrow $$
$$(\forall \mathcal{A}\subseteq \tau)\Big{[}X=\bigcup \mathcal{A}\Rightarrow (\exists \mathcal{A}^*\subseteq\mathcal{A})(|\mathcal{A^*| <\aleph_0})(X=\bigcup \mathcal{A}^*)\Big{]}$$
Tanım: $(X,\tau)$ topolojik uzay ve $f:X\rightarrow \mathbb{R}$ fonksiyon olmak üzere
$$X, \,\ \tau\text{-sözde tıkız (pseudo compact)}:\Leftrightarrow (f, \,\ (\tau\text{ - }\mathcal{U}) \,\ \text{ sürekli})(f[X], \,\ \mathcal{U}\text{-tıkız})$$