Darstellung der
Theoreme
Theorem 23
Es sei \( h\in{\mathcal K}. \) Dann gilt
\[ (x\in k'') \longleftrightarrow (\mbox{es gibt}\ y,z\in k\ \mbox{mit}\ x\in y'z). \]
Theorem 24
Es seien \( h,k\in{\mathcal K}. \) Dann gilt
\[ (h\subseteq k) \longrightarrow (h''\subseteq k''). \]
Theorem 25
Es seien \( a,b\in{\mathcal P} \) und \( k\in{\mathcal K} \) mit \( b\in k. \) Dann gilt
\[ (ab)'' \subseteq (ak)''\,. \]