  The largest bisimulation on our graph G is the   relation that relates 1   to itself, all 2-points to  all 2-points, and all 3-points   to all 3-points.  Note that this is an equivalence relation:  reflexive, symmetric, and transitive.  This is not an accident. 