What is a totally ordered sort of sets of a partial order called? Posted by Beef, at cstheory.stackexchange.com, 16 Aug 2011 Given a DAG, which can represent a partial order and has at least one topological sort. For example the…