> The power set lattice (P(N)) of all sets of natural numbers, not to scale, some sets omitted...