Does a collection of points, like the one in Example 1.25, count as a Hasse diagram?