Lattices and Ordered Sets door PhD Steven Roman