inductive UF'