La condición de existencia de imagen garantiza que tomando un elemento cualesquiera a de A tiene al menos una imagen b en B.