# Is this a partially ordered set?

I was wondering if partially ordered sets could have loops in their diagrams. For example isn't the $S=\{1,2,3\}$ and relation $R=\{(1,1),(2,2),(3,3),(1,2),(2,3),(3,1)\}$ a partially ordered set that has a cycle? $R$ is reflexive, antisymmetric and transitive.

-

Transitivy fails for your relation $R$.
@Celeritas Exactly. It also fails because $(2,3), (3,1)\in R$, but $(2,1)\not \in R$. – Git Gud Nov 24 '13 at 11:55
@Celeritas Just think of the euclidean place as $\Bbb R^2$. Intuitively, $x$ covers $y$ if there aren't any elements between $x$ and $y$. For instance here, $\{x,y\}$ and $\{x,z\}$ both cover $\{x\}$, but $\{x,y,z\}$ and $\{y,z\}$ don't (for different reasons). – Git Gud Nov 24 '13 at 12:34
@Celeritas It's what denoted here as '$<\cdot$', $a\prec b$ means '$b$ covers $a$'. – Git Gud Nov 24 '13 at 14:37