Partially Ordered Sets Example