 Two-dimensional partially ordered set

ID: two-dimensional-partially-ordered-set

Codex  0 Created 2026-09-29 Updated 2026-10-03

A partially ordered set is two-dimensional when there are two total orders

<_{1}

and

<_{2}

on its ground set such that

x < y ⟺ x <_{1} y and x <_{2} y .

 New to topics? Read the docs here!