设X是一个非空**，Y是非空数集，f是个对应法则 ， 若对X中的每个x，按对应法则f，使Y中存在唯一的一个元素y与之对应 ，就称对应法则f是X上的一个函数，记作y＝f（x），称X为函数f（x）的定义域，**{y|y=f（x），x∈X}为其值域（值域是Y的子集），x叫做自变数，y叫做因变数，习惯上也说y是x的函数。
其中的
“**{y|y=f（x），x∈X}为其值域（值域是Y的子集）”
这句句子怎么理解啊？