(1) A = {a, ...}
(2) A = {} または A = {a}, A = {b}, A = {a,b} のいずれか.

(1),(2)をともに満たすのは A = {a} または A = {a,b} に限られる.