¿Hay gráficos simples, no dirigidos$G, H$ que no son isomorfos, pero existen homomorfismos de gráficos$f_1: G\to H$ y$f_2: H\to G$ que son mapas de conjuntos biyectivos $V(G)\rightarrow V(H)$ y$V(H)\rightarrow V(G)$? ?
Notas.
Según el argumento del comentario de Tobias Fritz a continuación,$G, H$ tiene que ser infinito.
Como sugirió un comentarista, uno debe dejar claro sin ambigüedades que aquí, 'gráfico simple, no dirigido' = 'relación binaria simétrica irreflexiva en un conjunto'.
