Metrizability of Mahavier products indexed by partial orders

Abstract

Let $X$ be separable metrizable, and let $f\subseteq X^2$ be a non-trivial relation on $X$. For a given partial order $(P,\leq)$, the Mahavier product $M(X,f,P)\subseteq X^P$ (also known as a generalized inverse limit) collects functions such that $x(p)\in f(x(q))$ for all $p\leq q$. Clontz and Varagona previously showed for well orders $P$ that $M(X,f,P)$ is separable metrizable exactly when $P$ is countable and $f$ satisfies condition $\Gamma$; we extend this result to hold for all partial orders.