素朴な定義では、fが写像であるとは「aがAの元ならばBの元f(a)がただ一つ定まる」が成り立つことであったが、Aが空集合ならば「aがAの元」は偽であるから、この命題は真である。
这个公式是真的，因为公式A→B{\displaystyleA\rightarrowB}只要前件A{\displaystyleA}为假就是真的。