I have a construct that I proved forms a (finite) Boolean Algebra of sets over a given universe.
My questions are as follows:
- Do I immediately know that there exists a unique basis for it?
- If yes, is there a generic way of constructing it?
- Given the finiteness property, I know my algebra is atomic. Are these atoms precisely all the elements of my basis?
Thank you!