partial orderings solved examples