משפט 1: מארח הוא המקבילה הפיזית של מכונה וירטואלית, שעליה פועלת מערכת וירטואלית. משפט 2: מארח הוא המקבילה הווירטואלית של מכונה פיזית שבה מערכת וירטואלית פועלת. שאלה: האם משפט 1 ומשפט 2 מבטאים את אותה המשמעות? כן או לא?
לא, לא.