Esta condición en necesaria y suficiente para que una correspondencia sea considerada unívoca.