I am trying to prove that every partial order of a finite set is an intersection of a finite number of linear orders of this set. Can this be proved using these observations:
- a partial order has a linear extension
- this partial order is an intersection of its linear extensions
- there is a finite number of linear extensions
Or is there a simpler proof?