>>32
fがXからYへの写像とは
fはX×Yの部分集合で
∀x∈X,∃!y∈Y,(x,y)∈f
を満たすこと
空写像とは空集合のこと
実際空集合は空集合から空集合への写像の条件を満たしている