Let $X$ be any set. Then we define semi-algebra $C$ of subset of $X$: $C \\in \\mathcal{P}(X)$ such that: