Partial Order Discrete Math