An answer is similar to an answer to your previous question. Given a binary relation $R$ on a set $X$, a pair $(X,R)$ is a directed graph with the set $X$ of vertices and the set $R$ of edges. Condition $\exists y \forall x (xRy)$ means that there exists a vertex $y$ of $X$ such that each vertex $x\in X$ has an outdoing edge $(x,y)$ to $y$. That is, the graph visualization contains a respective star with the center $y$. If $|X|\le \frak c$ (in particular, $X$ is finite) then this star can be visualized in a plane or in space.
An answer is similar to an answer to your previous question. Given a binary relation $R$ on a set $X$, a pair $(X,R)$ is a directed graph with the set $X$ of vertices and the set $R$ of edges. Condition $\exists y \forall x (xRy)$ means that there exists a vertex $y$ of $X$ such that each vertex $x\in X$ has an outdoing edge $(x,y)$ to $y$. That is, the graph visualization contains a respective star with the center $y$. If $|X|\le \frak c$ (in particular, $X$ is finite) then this star can be visualized in a plane or in space.