File:Hasse_diagram_of_powerset_of_3.svg loading ...