Y denotada por f x f y tal que (f x f) (x, x) :=