how can I visualize such graph If I am only given this formula

40 Views Asked by At

How can visualize it and prove it is the way it should be visualized?

∃y∀x(xRy)

Thanks!

1

There are 1 best solutions below

0
On

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.