בשביל משפט 13 צריך גם להוכיח שאם K1 <math>\leq</math> K2 וM1 <math>\leq</math> M2 אז K2 בחזקת K1 <math>\leq</math> M2 בחזקת M1
או שאפשר להסתמך על זה?
== תרגיל 6 שאלה 2 ==
לדעתי יש בעיה בשאלה.
ניקח <math>\left\{0,\epsilon\right\}</math> ו-<math>\left\{0,1.5\epsilon\right\}</math>
שתי הקבוצות הנ"ל הן <math>\epsilon</math>-דלילות.
נשים לב כי איחודן, <math>\left\{0,\epsilon, 1.5\epsilon\right\} </math> אינו קבוצה <math>\epsilon</math> דלילה כי <math>0.5\epsilon<\epsilon</math>.
לכן הגענו לסתירה.
מהו בכל זאת פתרון השאלה?