Partially Ordered Sets and Fixed Points