Hasse_diagram_of_powerset_of_3