אין כאן משהו מסובך. לצורך עניינו, קבוצה היא פשוט אוסף של איברים, ותת-קבוצה היא קבוצה שמכילה חלק מאותם איברים. כך למשל http://www.codecogs.com/gif.latex?%5Cmathbb%7BR%7D היא הקבוצה שמכילה את כל המספרים הממשיים, ו-http://www.codecogs.com/gif.latex?%5Cmathbb%7BR%7D (היא עצמה), http://www.codecogs.com/gif.latex?%5Cmathbb%7BN%7D, http://www.codecogs.com/gif.latex?(0,1) הן שלוש דוגמאות לתתי-קבוצות שלה. בהקשר שלנו, כיסוי הוא קבוצה של קטעים, ותת-כיסוי הוא פשוט תת-קבוצה של הכיסוי (כלומר מכיל חלק מן הקטעים שבכיסוי). הסימון הוא http://www.codecogs.com/gif.latex?A%5Csubseteq%20B אם http://www.codecogs.com/gif.latex?A היא תת-קבוצה של http://www.codecogs.com/gif.latex?B. דבר ראשון, לא הנחתי שבחצי השני יש תת-כיסוי סופי (זה שהנחנו שבחצי מסוים אין תת-כיסוי סופי לא אומר כלום על החצי השני). דבר שני, לא מעניין אותנו אם בחצי השני יש או אין תת-כיסוי סופי.