O'Reilly logo
  • Chan-Hsiang Lin thinks this is interesting:

e′ o V(Si) = V o e(Si).

From

Cover of Virtual Machines

Note

Isomorphism:
A host operation on the object virtualized at a given state has the same effect as virtualizing the result of a corresponding guest operation on a un-virtualized object at that state.