Partially Ordered Set Definition