## Stream: new members

### Topic: Functions on sets

#### Yakov Pechersky (Jul 13 2020 at 17:03):

What do the '' mean in a function that is applied to a set, a la f '' s := {f x | x \in s}?

#### Jalex Stark (Jul 13 2020 at 17:05):

didn't you just write out the definition of ''? (edit : no, see patrick's comment)

#### Alex J. Best (Jul 13 2020 at 17:05):

'' is set.image

#### Patrick Massot (Jul 13 2020 at 17:06):

What Yakov wrote is not valid syntax

#### Patrick Massot (Jul 13 2020 at 17:06):

Set builder notation simply doesn't work like that

#### Jalex Stark (Jul 13 2020 at 17:06):

#print notation ''


which tells you that '' is infix notation for set.image

#### Yakov Pechersky (Jul 13 2020 at 17:07):

Yes, I was using illegal shorthand. It's notation, got it!

Last updated: May 16 2021 at 21:11 UTC