Para probar la antisimetría de la relación definida en una familia de grafos por los encajes, hay que probar que dos grafos se relacionan si pertenecen a la misma clase de isomorfismo, no? La "igualdad" de grafos está dada por la cualidad de ser isomorfos entre sí, no?
Buena observación. En ese caso es verdad que la relación no es de orden salvo que se haga la vista gorda y se considere que dos grafos son iguales si son isomorfos. Acabo de subir una versión corregida del práctico 7 en el que se reformula esa parte.