La condición de existencia de origen garantiza que todo elemento b de B tiene al menos un origen a en A.