可归纳的性质

• inducible property