inductiveness

not defined yet