Atlas/Foundations/Order theory
1/4
The power set of {a,b} is a diamond: empty set at the bottom, the pair at the top.