overview of partial orderings 1780774