Powerdomains

Domain of sets of elements.

• Powerdomain builder.
  • P(A) is the set of all X that are a subset of A.
• Smallest element:
  • { }: P(A).
• Singleton sets:
  • {a} in P(A), for a in A.
• Binary union:
  • M union N in P(A), for M, N in P(A).
• Disassembly operation:
  • f+: P(A) -> P(B), for f: A -> P(B).
  • f+(M) is union of f(M), for m in M.