Partial Order Ideal