Definition 4.1.1 (Algebra).label Let $X$ be a set and $\Si\suf 2^{X}$ then $\Si$ is an algebra if
- (A1)
$\emp,X\in\Si$
- (A2)
$\fall E\in \Si,X\del E\in\Si$
- (A3)
$\fall E,F\in\Si,E\cup F\in\Si$
Definition 4.1.1 (Algebra).label Let $X$ be a set and $\Si\suf 2^{X}$ then $\Si$ is an algebra if
$\emp,X\in\Si$
$\fall E\in \Si,X\del E\in\Si$
$\fall E,F\in\Si,E\cup F\in\Si$
Post a Comment