Bedeutung der Theoreme

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)''\,. \]