In finite graph theory, there are many (in)equalities which relate the integer value of a certain graph invariant (e.g. domination or chromatic number) for the product of two finite graphs (e.g. tensor, Cartesian, strong product, etc.) to the value of the same invariant for each component.

Such (in)equalities are often formulated as $i(G*H)\sim f(i(G), i(H))$ where $i$ is the operator assigning a certain integer-valued invariant to the graph, $*$ is a particular type of graph product, $\sim$ is the (in)equality sign, and $f$ is a function from $\mathbb{N}\times\mathbb{N}$ to $\mathbb{N}$. For instance, see Vizing's conjecture.

However, such (in)equalities seem to be quite vulnerable to the finiteness condition and may fail so badly if one brings infinite graphs and transfinite-valued graph invariants into the play as a direct generalization of the original statement. A typical example is Hajnal's proof (cf. MR0815579) of the failure of Hedetniemi's conjecture for infinite graphs. (See also Assaf Rinot's result along these lines.)

Here in this post, I look for more results of this type, namely the instances of the failure of the (open/proved) (in)equalities of the described form in the infinite case. Of course, some of these conjectures might be wide open in their finite case, yet have some relatively easy counterexamples in the infinite form.

Question 1.What are examples of finite graph (in)equalities of the form $i(G*H)\sim f(i(G), i(H))$ which (may) fail for the infinite graphs (up to consistency)?

I am particularly interested in the case of Vizing's conjecture ($VC$):

Question 2.Can $VC$ fail for the infinite graphs?

Another line of thought might be considering a case where a statement fails in the finite case but holds for infinite graphs. Particularly, this might be the case for "Ramsey-type" graph invariants which require the underlying structures to be very large to behave nicely.

Question 3.What are examples of graph (in)equalities of the form $i(G*H)\sim f(i(G), i(H))$ which fail for the finite graphs but hold for certain class of infinite graphs?