שינויים
/* אריתמטיקה */
במה הכוונה אם אפשר להסביר כשאמרת שלא להשתמש בהם?
:אל תניח שהעוצמות הם 'מספרים' לדוגמא |A|<=|B| ו |B|<=|C| לא גורר בהכרח |A|<=|C| (טוב... ברור שזה כן נכון בגלל הרכבת פונ' חח"ע, אבל זה לא נובע ישירות רק משימוש בסימון "קטן שווה")