[A2] Axiom of choice (選択公理): For every family {A_λ≠∅}λ∈Λ of nonempty sets, Π_{λ∈Λ} A_λ ≠ ∅