Chapter 1 page 4: Since you suppress redundant arrows in Hesse diagrams, you might replace "we draw an arrow from system A to system B if A <= B" with "an arrow from system A to system B means that A <= B".