Definition:Unit of System of Sets
Jump to navigation Jump to search
Let $\SS$ be a system of sets.
Let $U \in \SS$ such that:
- $\forall A \in \SS: A \cap U = A$
Then $U$ is the unit of $\SS$.
Note that, for a given system of sets, if $U$ exists then it is unique.