>>337
こんな夜中の眠いのに本なんか引っ張り出させるんじゃないよ。目が覚めちまったじゃねぇか。
だいたい質問する時はおまけ程度に本の参照を書くことはあるが、基本的には本を持ってない人に対してもわかるように書くもんだろ。
こんな夜中にたまたま同じ本を持っていて本棚から引っ張り出してきて読んでくれるような奇特な香具師がいると思うのか?

(*)は「a∈A ⇒ Γ(a)はBのただ1つの元からなる集合である。」という命題と同じことであるが
Aが空集合のときは a∈A という命題は無条件で偽なので
偽な仮定のもとでは任意の命題が真であるという論理学の定理にもとづいて
「a∈A ⇒ Γ(a)はBのただ1つの元からなる集合である。」は真である。