función-inyectiva-condición