Diferencia entre revisiones de «Matemáticas/Teoría de conjuntos/Intuitiva/Funciones»

'''1.7.1.''' Sean <math>x</math> e <math>y</math> dos conjuntos cualesquiera. Cualquier subconjunto <math>f</math> del producto cartesiano <math>x\times y</math> que cumpla

<blockquote>

<p>'''( F-1 )''' para todo <math>a\in x</math> existe <math>b\in y</math> tal que <math>(a,b)\in f</math> y</p>