写像f:X→Yについてx∈X、y∈Yとして
定義域A⊂Xに対する値域f(A)⊂Yの定義がよくわかりません
目的はf(A)の補集合Y/f(A)について考えることなのですが定義がよくわからず進めません
今読んでる本ではf(A)={y∈Y|∃x[x∈A],y=f(x)}みたいに書いてるんですが
,ってのが∧とは違うのか？など疑問が出てきます
∧と捉えてこれの否定を取ると
¬(∃x[x∈A]∧y=f(x))
≡∀x[x∉A]∨y≠f(x)
みたいなイマイチ判然としない感じになって訳がわからなくなってます