집합 A에서 B로 가는 함수를 집합 조건 제시법으로 쓸 때

f(A)= { f(x)∈ A | x ∈ A} 이렇게 쓰잖아요

이걸 수리 논리로 표현하면 f(x) ∈ A & x ∈ A랑 같은 말이죠?