>>25
空集合から空集合への写像、空写像が存在するから