hasse-diagram

Hasse-Diagram

A hasse diagram is like a relation graph for partial orders, so we omit the reflexive edges for simplicty. Every edge signifies a relation.
There is a hierarchy: Lower elements are subsets of the upper ones, so we can omit the arrows.
Every set connected via multiple relations could be made in a single step (transitive), but we also omit those arrows.

$(2^{\{1,2,3\}},\subseteq )$ … a partial order.

= All possible subsets of $\{1,2,3\}$

For $(2^{\{1,2,3\}},\supseteq )$, we mirror the diagram along the horizontal axis.

The natural numbers $\mathbb{N}$ are a linear order.

Link to original