Partial Order Tree

From GM-RKB
Jump to navigation Jump to search

A Partial Order Tree is a DAG that is a partially ordered set (T,<=) such that there is an infium of [math]\displaystyle{ T }[/math], and each subset {x in T: x<=y} is finite and is linearly ordered under <=.