4. Let G be an ordered graph, i.e., a pair (V,E) where V is a finit...