1

I am having problems breaking this down in order for it to make sense in my head. How would you read this? $f(S)=\{f(x)\,|\,x \text{ exists in }S\}$

2 Answers2

4

Given a set $S$ and a function $f$, it is customary to define $$ f(S) = \{f(x) \mid x \in S\}. $$ With this definition, $f(S)$ is the image of $S$ under $f$. In other words, you can obtain $f(S)$ by plugging each element of $S$ into $f$ and collecting the outputs.

Austin Mohr
  • 25,662
0

The assertion that $f(S)=\{f(x) \mid x \in S\}$ amounts to the following.

  1. Whenever you see the expression $x=f(s),$ if you furthermore know that $s \in S$, then you may deduce that $x \in f(S)$.
  2. Whenever you see the expression $x \in f(S)$, you may deduce that there exists $s \in S$ such that $x = f(s)$.
goblin GONE
  • 67,744