离散课本上不是很详细么?对于任意x有f(x)可推知f(a),a∈x；
存在x使g(x)只能得到某特定b∈x使g(b)成立