Una función formula_10 general es idempotente si satisface dos condiciones: