Finite Ordered Sets