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