I want to show that the following provisions satisfy an algebra (not a sigma algebra):
(a) $X$ is the non-empty set and $\mathcal{A}$ is the collection of subsets.
(b) $X \in \mathcal{A}$
(c) $A,B \in \mathcal{A}$ implies that $A \cap B^c \in \mathcal{A}$
So far I have:
If $A,B \in \mathcal{A}$, then so is their union and intersection, which means then that their symmetric difference is too,
$\ast$ $A \cup B - A \cap B = A \triangle B (= A \backslash B \cup B \backslash A)$.
I also know that, because of the implication in (c), $A \cap B^c = A-B = A \backslash B = (A^c \cup B)^c$, which takes care of all terms on left hand side, and the first term on the right hand side of $\ast$. So I think this means that both $A-B$ and $B-A$ are in the collection.
Does this mean $A^c$ and $B^c$ are too?
I mean $A-B$ is the complement of $B$ intersected with everything else $(A-B = B^c \cap else)$ so I am wondering if I need to use some relative set theory algebra with more sets, like $C$ and $D$?
I know that the requirements of an algebra are 1.) $X \in \mathcal{A}$ 2.) closed under complementation 3.) closed under finite union 4.) closed under finite intersection and that the last two are related via the second one.
Thanks for any suggestions!