引入条件