Partially Ordered Systems